E-LIB Suche - Ergebnisse für: Leifer, James J.

1

Acute: High-level programming language design for distribut..:

SEWELL, PETER ; LEIFER, JAMES J. ; WANSBROUGH, KEITH...
Journal of Functional Programming. 17 (2007) 4-5 - p. 547-612 , 2007

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

2

Transition systems, link graphs and Petri nets:

LEIFER, JAMES J. ; MILNER, ROBIN
Mathematical Structures in Computer Science. 16 (2006) 6 - p. 989 , 2006

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

3

Abstraction preservation and subtyping in distributed langu..:

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

Deniélou, Pierre-Malo ; Leifer, James J. - p. 286-297 , 2006

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

4

Abstraction preservation and subtyping in distributed langu..:

Deniélou, Pierre-Malo ; Leifer, James J.
ACM SIGPLAN Notices. 41 (2006) 9 - p. 286-297 , 2006

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

5

Acute : high-level programming language design for distr..:

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

Sewell, Peter ; Leifer, James J. ; Wansbrough, Keith... - p. 15-26 , 2005

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

6

Acute: high-level programming language design for distribut..:

Sewell, Peter ; Leifer, James J. ; Wansbrough, Keith...
ACM SIGPLAN Notices. 40 (2005) 9 - p. 15-26 , 2005

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

7

Global abstraction-safe marshalling with hash types:

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

Leifer, James J. ; Peskine, Gilles ; Sewell, Peter. - p. 87-98 , 2003

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

8

Global abstraction-safe marshalling with hash types:

Leifer, James J. ; Peskine, Gilles ; Sewell, Peter.
ACM SIGPLAN Notices. 38 (2003) 9 - p. 87-98 , 2003

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

9

Shallow Linear Action Graphs and their Embeddings:

Leifer, James J. ; Milner, Robin
Formal Aspects of Computing. 13 (2002) 3-5 - p. 327-340 , 2002

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

10

Secure Implementations for Typed Session Abstractions:

Corin, Ricardo ; Deniélou, Pierre-Malo ; Fournet, Cédric..
http://doc.utwente.nl/67073/1/04271648.pdf. , 2007

Link: http://purl.utwente.nl/p..

11

Acute: High-level programming language design for distribut..:

Sewell, Peter ; Leifer, James J ; Wansbrough, Keith...
Report N°: RR-5329. , 2004

Link: https://hal.inria.fr/inr..

12

Global abstraction-safe marshalling with hash types:

Leifer, James J ; Peskine, Gilles ; Sewell, Peter.
Report N°: RR-4851. , 2003

Link: https://hal.inria.fr/inr..

13

Synthesising Labelled Transitions and Operational Congruenc..:

Leifer, James J
Report N°: RR-4395. , 2002

Link: https://hal.inria.fr/inr..

14

Synthesising Labelled Transitions and Operational Congruenc..:

Leifer, James J
Report N°: RR-4394. , 2002

Link: https://hal.inria.fr/inr..

15

Racing CARs to veterinary immuno-oncology:

Cockey, James R. ; Leifer, Cynthia A.
Frontiers in Veterinary Science. 10 (2023) - p. , 2023

Link: https://doi.org/10.3389/..