Juan C. Guzmán

According to our database, Juan C. Guzmán authored at least 1 paper in 1990.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1990

Single-Threaded Polymorphic Lambda Calculus

Juan C. Guzmán, Paul Hudak

Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990