E-LIB Suche - Ergebnisse für: SWORDS, CAMERON

1

An extended account of contract monitoring strategies as pa..:

SWORDS, CAMERON ; SABRY, AMR ; TOBIN-HOCHSTADT, SAM
Journal of Functional Programming. 28 (2018) - p. , 2018

Link: https://doi.org/10.1017/..

2

Big types in little runtime: open-world soundness and colla..:

, In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages,

Vitousek, Michael M. ; Swords, Cameron ; Siek, Jeremy G. - p. 762-774 , 2017

Link: https://dl.acm.org/doi/1..

3

Big types in little runtime: open-world soundness and colla..:

Vitousek, Michael M. ; Swords, Cameron ; Siek, Jeremy G.
ACM SIGPLAN Notices. 52 (2017) 1 - p. 762-774 , 2017

Link: https://doi.org/10.1145/..

4

Expressing contract monitors as patterns of communication:

Swords, Cameron ; Sabry, Amr ; Tobin-Hochstadt, Sam
ACM SIGPLAN Notices. 50 (2015) 9 - p. 387-399 , 2015

Link: https://doi.org/10.1145/..

5

Expressing contract monitors as patterns of communication:

, In: Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming,

Swords, Cameron ; Sabry, Amr ; Tobin-Hochstadt, Sam - p. 387-399 , 2015

Link: https://dl.acm.org/doi/1..

6

Extensible effects : an alternative to monad transformer:

, In: Proceedings of the 2013 ACM SIGPLAN symposium on Haskell,

Kiselyov, Oleg ; Sabry, Amr ; Swords, Cameron - p. 59-70 , 2013

Link: https://dl.acm.org/doi/1..

7

Extensible effects: an alternative to monad transformers:

Kiselyov, Oleg ; Sabry, Amr ; Swords, Cameron
ACM SIGPLAN Notices. 48 (2013) 12 - p. 59-70 , 2013

Link: https://doi.org/10.1145/..

8

Resolving orbital pathways for intermolecular electron tran..:

Kellett, Cameron W. ; Swords, Wesley B. ; Turlington, Michael D...
Nature Communications. 9 (2018) 1 - p. , 2018

Link: https://doi.org/10.1038/..

9

Contributors:

, In: Operative Techniques: Foot and Ankle Surgery,

Ågren, Per-Henrik ; Bae, Su-Young ; Barg, Alexej... - p. vi-viii , 2018

Link: https://doi.org/10.1016/..

10

Spectroscopic detection of halogen bonding resolves dye reg..:

Parlane, Fraser G. L. ; Mustoe, Chantal ; Kellett, Cameron W....
Nature Communications. 8 (2017) 1 - p. , 2017

Link: https://doi.org/10.1038/..

11

Evidence for Interfacial Halogen Bonding:

Swords, Wesley B. ; Simon, Sarah J. C. ; Parlane, Fraser G. L....
Angewandte Chemie. 128 (2016) 20 - p. 6060-6064 , 2016

Link: https://doi.org/10.1002/..

12

Halogen Bonding Promotes Higher Dye-Sensitized Solar Cell P..:

Simon, Sarah J. C. ; Parlane, Fraser G. L. ; Swords, Wesley B....
Journal of the American Chemical Society. 138 (2016) 33 - p. 10406-10409 , 2016

Link: https://doi.org/10.1021/..

13

Evidence for Interfacial Halogen Bonding:

Swords, Wesley B. ; Simon, Sarah J. C. ; Parlane, Fraser G. L....
Angewandte Chemie International Edition. 55 (2016) 20 - p. 5956-5960 , 2016

Link: https://doi.org/10.1002/..

14

Resolving orbital pathways for intermolecular electron tran..:

Kellett, Cameron W ; Swords, Wesley B ; Turlington, Michael D..
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC6249235/. , 2018

Link: http://www.ncbi.nlm.nih...

15

Spectroscopic detection of halogen bonding resolves dye reg..:

Parlane, Fraser G. L ; Mustoe, Chantal ; Kellett, Cameron W...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC5701207/. , 2017

Link: http://www.ncbi.nlm.nih...