Travelled to:
1 × USA
Collaborated with:
M.Odersky P.Hudak
Talks about:
calculus (1) assign (1) name (1) call (1)
Person: Dan Rabin
DBLP: Rabin:Dan
Contributed to:
Wrote 1 papers:
- POPL-1993-OderskyRH #call-by #λ-calculus
- Call by Name, Assignment, and the λ Calculus (MO, DR, PH), pp. 43–56.