Travelled to:1 × Estonia
1 × Sweden
1 × USA
Collaborated with:P.Deniélou P.Sewell K.Wansbrough G.Peskine F.Z.Nardelli M.Allen-Williams P.Habouzit V.Vafeiadis
Talks about:distribut (2) abstract (2) languag (2) program (1) preserv (1) marshal (1) subtyp (1) global (1) design (1) comput (1)
Person: James J. Leifer
DBLP: Leifer:James_J=
Contributed to:
200620052003Wrote 3 papers:
- ICFP-2006-DenielouL #abstraction #distributed #type system
- Abstraction preservation and subtyping in distributed languages (PMD, JJL), pp. 286–297.
- ICFP-2005-SewellLWNAHV #design #distributed #named #programming language
- Acute: high-level programming language design for distributed computation (PS, JJL, KW, FZN, MAW, PH, VV), pp. 15–26.
- ICFP-2003-LeiferPSW
- Global abstraction-safe marshalling with hash types (JJL, GP, PS, KW), pp. 87–98.