Travelled to:
1 × USA
Collaborated with:
P.Hudak
Talks about:
polymorph (1) calculus (1) thread (1) singl (1)
Person: Juan C. Guzmán
DBLP: Guzm=aacute=n:Juan_C=
Contributed to:
Wrote 1 papers:
- LICS-1990-GuzmanH #polymorphism #thread #λ-calculus
- Single-Threaded Polymorphic λ Calculus (JCG, PH), pp. 333–343.