John H. Reppy. Concurrent Programming in ML. Cambridge University Press, 1999. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
A Concurrent Logical Framework: The Propositional.. - Watkins, Cervesato.. (2003) (2 citations) (Correct)
No context found.
John H. Reppy. Concurrent Programming in ML. Cambridge University Press, 1999.
Type-Safe Distributed Programming for OCaml - John Billings Peter (Correct)
No context found.
J. H. Reppy. Concurrent Programming in ML. Cambridge University Press, 1999.
Transactional Monitors for Concurrent Objects - Adam Welc Suresh (Correct)
No context found.
REPPY, J. Concurrent Programming in ML. Cambridge University Press, 1999.
Distributed Control Flow - With Classical Modal (Correct)
No context found.
John H. Reppy. Concurrent Programming in ML. Cambridge University Press, Cambridge, England, 1999.
A Concurrent Logical Framework: The Propositional.. - Watkins, Cervesato.. (2003) (2 citations) (Correct)
No context found.
John H. Reppy. Concurrent Programming in ML. Cambridge University Press, 1999.
CLF: A Dependent Logical Framework for Concurrent.. - Watkins, Cervesato.. (2004) (1 citation) (Correct)
No context found.
John H. Reppy. Concurrent Programming in ML. Cambridge University Press, 1999.
Distributed Control Flow - With Classical Modal (2005) (Correct)
No context found.
John H. Reppy. Concurrent Programming in ML. Cambridge University Press, Cambridge, England, 1999.
Type-Directed Concurrency - Deepak Garg And (Correct)
No context found.
J. H. Reppy. Concurrent programming in ML. Cambridge University Press, 1999.
Bigraphical Models of Context-aware Systems - Birkedal Debois Elsborg (2005) (Correct)
No context found.
J H. Reppy. Concurrent Programming in ML. Cambridge University Press, 1999.
Bigraphical Models of Context-aware Systems - Birkedal, Debois, Elsborg.. (2005) (Correct)
No context found.
John H. Reppy. Concurrent Programming in ML. Cambridge University Press, 1999.
CLL: A Concurrent Language Built from Logical Principles - Garg (2005) (Correct)
No context found.
John H. Reppy. Concurrent programming in ML. Cambridge University Press, 1999.
Basic Research in Computer Science - Constructive Action Semantics (Correct)
No context found.
John H. Reppy. Concurrent Programming in ML. Cambridge University Press, 1999.
Iktara in ConCert: Realizing a Certified Grid Computing Framework.. - Chang (2002) (3 citations) (Correct)
No context found.
John H. Reppy. Concurrent Programming in ML. Cambridge University Press, 1999.
Protocol Specialization - Neubauer, Thiemann (Correct)
No context found.
John H. Reppy. Concurrent Programming in ML. Cambridge University Press, 1999. 23
Java Fair Threads - Boussinot (2001) (Correct)
No context found.
J. Reppy, Concurrent Programming in ML, Cambridge University Press, 1999.
An Event-Based Execution Model for Efficient Image.. - Johnston, Fleury.. (Correct)
No context found.
J. H. Reppy. Concurrent Programming in ML. Cambridge University Press, Cambridge, UK, 1999.
Iktara in ConCert: Realizing a Certified Grid Computing Framework.. - Chang (2002) (3 citations) (Correct)
No context found.
John H. Reppy. Concurrent Programming in ML. Cambridge University Press, 1999.
Iktara in ConCert: Realizing a Certified Grid Computing Framework.. - Chang (2002) (3 citations) (Correct)
No context found.
John H. Reppy. Concurrent Programming in ML. Cambridge University Press, 1999.
Distributed Control Flow with Classical Modal Logic - Murphy VII, Crary, Harper (2005) (Correct)
No context found.
John H. Reppy. Concurrent Programming in ML. Cambridge University Press, Cambridge, England, 1999.
Implementing a Framework for Certified Grid Computing - DeLap (2002) (3 citations) (Correct)
No context found.
John H. Reppy. Concurrent programming in ML. Cambridge University Press, 1999.
Distributed Control Flow with Classical Modal Logic - Murphy VII, Crary, Harper (2005) (Correct)
No context found.
John H. Reppy. Concurrent Programming in ML. Cambridge University Press, Cambridge, England, 1999.
Implementing a Framework for Certified Grid Computing - DeLap (2002) (3 citations) (Correct)
No context found.
John H. Reppy. Concurrent programming in ML. Cambridge University Press, 1999.
Type Systems for Concurrent Programs - Kobayashi (2002) (Correct)
No context found.
J. Reppy. Concurrent Programming in ML. Cambridge University Press, 1999.
A Type System for Lock-Free Processes - Kobayashi (2002) (1 citation) (Correct)
No context found.
John Reppy. Concurrent Programming in ML. Cambridge University Press, 1999.
An Implementation of Session Types - Neubauer, Thiemann (2004) (1 citation) (Correct)
No context found.
John H. Reppy. Concurrent Programming in ML. Cambridge University Press, 1999.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC