A label-selective lambda-calculus with optional arguments and its compilation method (1995)

Cached

Download Links

by Jun P. Furuse , Jacques Garrigue
Venue:RIMS Preprint 1041, Research Instit. for Mathematical Sciences, Kyoto Univ
Citations:10 - 5 self