Extensional Universal Types for Call-by-Value

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-89330-1_9 ◽

2008 ◽

pp. 122-137 ◽

Cited By ~ 1

Author(s):

Kazuyuki Asada

Download Full-text