Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Dolan, Stephen K.
25  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

Contributors:

, In: Evidence-Based Orthopaedics,
Ahn, Henry ; Graham, Brent ; Howard, Andrew... - p. ix-xviii , 2009
Link: https://doi.org/10.1016/..
 
?
2

Antarctic environmental change and ice sheet evolution thro..:

, In: Antarctic Climate Evolution,
Levy, Richard H. ; Dolan, Aisling M. ; Escutia, Carlota... - p. 389-521 , 2022
Link: https://doi.org/10.1016/..
 
?
3

List of contributors:

, In: Antarctic Climate Evolution,
Bentley, Michael J. ; Bijl, Peter ; Bostock-Lyman, Helen... - p. xiii-xvi , 2021
Link: https://doi.org/10.1016/..
 
?
4

Multiagent Sensor Fusion for Connected & Autonomous Vehicle..:

, In: 2019 IEEE Intelligent Transportation Systems Conference (ITSC),
Saxena, Suryansh ; Isukapati, Isaac K ; Smith, Stephen F. - p. 2490-2495 , 2019
Link: https://doi.org/10.1109/..
 
?
5

Contributors:

, In: Seafloor Geomorphology as Benthic Habitat,
Acosta, Juan ; Allee, Rebecca J. ; Althaus, Franziska... - p. xxxi-xlv , 2012
Link: https://doi.org/10.1016/..
 
?
6

Contributors:

, In: Assessments, Treatments and Modeling in Aging and Neurological Disease,
Adams, Michelle M. ; Albinet, Cédric ; Alicioglu, Banu... - p. xvii-xxii , 2021
Link: https://doi.org/10.1016/..
 
?
7

List of Contributors:

, In: Molten Salt Reactors and Thorium Energy,
Allibert, Michel ; Andreades, Charalampos ; Bakai, A.S.... - p. xvii-xxi , 2017
Link: https://doi.org/10.1016/..
 
?
8

Contributors:

, In: Tea in Health and Disease Prevention,
Abbas, Sami ; AbouLaila, Mahmoud ; Acquas, Elio... - p. xvii-xxxviii , 2013
Link: https://doi.org/10.1016/..
 
?
9

Computing with generic trees in Agda:

, In: Proceedings of the 7th ACM SIGPLAN International Workshop on Type-Driven Development,
Dolan, Stephen - p. 38-44 , 2022
Link: https://dl.acm.org/doi/1..
 
?
10

Retrofitting effect handlers onto OCaml:

, In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation,
Sivaramakrishnan, KC ; Dolan, Stephen ; White, Leo... - p. 206-221 , 2021
Link: https://dl.acm.org/doi/1..
 
?
11

Repairing and mechanising the JavaScript relaxed memory mod..:

, In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation,
Watt, Conrad ; Pulte, Christopher ; Podkopaev, Anton... - p. 346-361 , 2020
Link: https://dl.acm.org/doi/1..
 
?
12

Brief Announcement: The Only Undoable CRDTs are Counters:

, In: Proceedings of the 39th Symposium on Principles of Distributed Computing,
Dolan, Stephen - p. 57-58 , 2020
Link: https://dl.acm.org/doi/1..
 
?
13

Bounding data races in space and time:

, In: Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation,
Dolan, Stephen ; Sivaramakrishnan, KC ; Madhavapeddy, Anil - p. 242-255 , 2018
Link: https://dl.acm.org/doi/1..
 
?
14

Polymorphism, subtyping, and type inference in MLsub:

, In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages,
Dolan, Stephen ; Mycroft, Alan - p. 60-72 , 2017
Link: https://dl.acm.org/doi/1..
 
?
15

Fun with semirings : a functional pearl on the abuse of ..:

, In: Proceedings of the 18th ACM SIGPLAN international conference on Functional programming,
Dolan, Stephen - p. 101-110 , 2013
Link: https://dl.acm.org/doi/1..
 
1-15