James J. Leifer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2000–2006
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | ICFP | Abstraction preservation and subtyping in distributed languages. | Pierre-Malo Denilou, James J. Leifer |
| 2005 | ICFP | Acute: high-level programming language design for distributed computation. | Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis |
| 2003 | ICFP | Global abstraction-safe marshalling with hash types. | James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough |
| 2000 | CONCUR | Deriving Bisimulation Congruences for Reactive Systems. | James J. Leifer, Robin Milner |