Stackability in the Simply-Typed, Call-by-Value Lambda Calculus (1994)

by Anindya Banerjee , David A. Schmidt
Venue:IN PROCEEDINGS OF THE FIRST INTERNATIONAL STATIC ANALYSIS SYMPOSIUM
Citations:1 - 1 self