Search the dblp DataBase

Publications of Author

1. James J. Leifer, Robin Milner
   Deriving Bisimulation Congruences for Reactive Systems. [Citation Graph (0, 0)][DBLP]
   CONCUR, 2000, pp:243-258 [Conf]
   
2. Pierre-Malo Deniélou, James J. Leifer
   Abstraction preservation and subtyping in distributed languages. [Citation Graph (0, 0)][DBLP]
   ICFP, 2006, pp:286-297 [Conf]
   
3. James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough
   Global abstraction-safe marshalling with hash types. [Citation Graph (0, 0)][DBLP]
   ICFP, 2003, pp:87-98 [Conf]
   
4. Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis
   Acute: high-level programming language design for distributed computation. [Citation Graph (0, 0)][DBLP]
   ICFP, 2005, pp:15-26 [Conf]
   
5. James J. Leifer, Robin Milner
   Shallow Linear Action Graphs and their Embeddings. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2002, v:13, n:3-5, pp:327-340 [Journal]
   
6. James J. Leifer, Bernard Sufrin
   Deduction for Functional Programmers. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 1996, v:6, n:2, pp:365-373 [Journal]
   
7. 
   Secure Implementations for Typed Session Abstractions. [Citation Graph (, )][DBLP]
   
   
8. 
   Cryptographic Protocol Synthesis and Verification for Multiparty Sessions. [Citation Graph (, )][DBLP]