BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Leifer:James_J=

Contributed to:

ICFP 20062006
ICFP 20052005
ICFP 20032003

Wrote 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.
Global abstraction-safe marshalling with hash types (JJL, GP, PS, KW), pp. 87–98.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.