Searching for authors named "John Hannan" – sorted by Relevance.
-
Type Systems for Closure Conversions
- Type Systems for Closure Conversions John Hannan Department of Computer Science and Engineering
- Cited by 23 (0 self) – Add To MetaCart
-
Specification and Correctness of Lambda Lifting
- of Lambda Lifting ADAM FISCHBACH and JOHN HANNAN Department of Computer Science and Engineering
- Cited by 3 (0 self) – Add To MetaCart
-
Compiler Verification in LF
- Compiler Verification in LF John Hannan Department of Computer Science University of Copenhagen
- Cited by 35 (10 self) – Add To MetaCart

