E-LIB Suche - Ergebnisse für: Crary, Karl

1

A focused solution to the avoidance problem:

CRARY, KARL
Journal of Functional Programming. 30 (2020) - p. , 2020

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

2

Fully abstract module compilation:

Crary, Karl
Proceedings of the ACM on Programming Languages. 3 (2019) POPL - p. 1-29 , 2019

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

3

Fully abstract module compilation:

Crary, Karl
Proceedings of the ACM on Programming Languages. 3 (2019) POPL - p. 1-29 , 2019

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

4

Strong Sums in Focused Logic:

, In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science,

Crary, Karl - p. 265-274 , 2018

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

5

TWAM: A Certifying Abstract Machine for Logic Programs:

, In: Lecture Notes in Computer Science; Verified Software. Theories, Tools, and Experiments,

Bohrer, Rose ; Crary, Karl - p. 112-134 , 2018

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

6

Computational complexity and induction for partial computab..:

, In: Reflections on the Foundations of Mathematics,

Constable, Robert L. ; Crary, Karl - p. 164-181 , 2017

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

7

Modules, abstraction, and parametric polymorphism:

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

Crary, Karl - p. 100-113 , 2017

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

8

Modules, abstraction, and parametric polymorphism:

Crary, Karl
ACM SIGPLAN Notices. 52 (2017) 1 - p. 100-113 , 2017

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

9

A Calculus for Relaxed Memory:

, In: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,

Crary, Karl ; Sullivan, Michael J. - p. 623-636 , 2015

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

10

A Calculus for Relaxed Memory:

Crary, Karl ; Sullivan, Michael J.
ACM SIGPLAN Notices. 50 (2015) 1 - p. 623-636 , 2015

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

11

Peer-to-peer affine commitment using bitcoin:

, In: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Crary, Karl ; Sullivan, Michael J. - p. 479-488 , 2015

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

12

Peer-to-peer affine commitment using bitcoin:

Crary, Karl ; Sullivan, Michael J.
ACM SIGPLAN Notices. 50 (2015) 6 - p. 479-488 , 2015

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

13

LF in LF : mechanizing the metatheories of LF in twelf:

, In: Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice,

Martens, Chris ; Crary, Karl - p. 23-32 , 2012

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

14

Higher-order representation of substructural logics:

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

Crary, Karl - p. 131-142 , 2010

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

15

Higher-order representation of substructural logics:

Crary, Karl
ACM SIGPLAN Notices. 45 (2010) 9 - p. 131-142 , 2010

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