E-LIB Suche - Ergebnisse für: Hickey, Jason

1

Speculations : providing fault-tolerance and improving p..:

, In: Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming,

Ţǎpuş, Cristian ; Hickey, Jason J. - p. 152-153 , 2007

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

2

Mechanized meta-reasoning using a hybrid HOAS/de bruijn rep..:

, In: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming,

Hickey, Jason ; Nogin, Aleksey ; Yu, Xin. - p. 172-183 , 2006

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

3

A computational approach to reflective meta-reasoning about..:

, In: Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding,

Nogin, Aleksey ; Kopylov, Alexei ; Yu, Xin. - p. 2-12 , 2005

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

4

Compiler implementation in a formal logical framework:

, In: Proceedings of the 2003 ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding,

Hickey, Jason ; Nogin, Aleksey ; Granicz, Adam - p. 1-13 , 2003

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

5

Building reliable, high-performance communication systems f..:

, In: Proceedings of the seventeenth ACM symposium on Operating systems principles,

Liu, Xiaoming ; Kreitz, Christoph ; van Renesse, Robbert... - p. 80-92 , 1999

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

6

Nuprl-Light: An implementation framework for higher-order l..:

, In: Automated Deduction—CADE-14; Lecture Notes in Computer Science,

Hickey, Jason J. - p. 395-399 , 1997

Link: https://doi.org/10.1007/..

7

Contributors:

, In: Machinery and Energy Systems for the Hydrogen Economy,

Bauer, Derrick ; Beck, Griffin ; Blais, Matthew S.... - p. ix-x , 2022

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

8

List of contributors:

, In: Digital Health,

Allen, Thomas ; Awais, Muhammad ; Bailenson, Jeremy N.... - p. xv-xvii , 2021

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

9

List of Contributors:

, In: Hunter's Tropical Medicine and Emerging Infectious Diseases,

Acosta, Anna M. ; Acuin, Jose M. ; Adam, Rodney D.... - p. xiv-xxvi , 2020

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

10

List of Contributors:

, In: Travel Medicine,

Ansdell, Vernon ; Aoun, Olivier ; Backer, Howard... - p. vi-x , 2019

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