Lecture Notes in Computer Science - Types in Compilation
Latest Publications

TOTAL DOCUMENTS

16
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540649250, 9783540683087
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Optimal type lifting

1998 ◽  
pp. 156-177 ◽  
Author(s):  
Bratin Saha ◽  
Zhong Shao
Keyword(s):  
Optimal Type

Compiling Java to a typed lambda-calculus: A preliminary report

1998 ◽  
pp. 9-27 ◽  
Author(s):  
Andrew Wright ◽  
Suresh Jagannathan ◽  
Cristian Ungureanu ◽  
Aaron Hertzmann
Keyword(s):  
Preliminary Report ◽  
Lambda Calculus ◽  
Typed Lambda Calculus

Stack-based Typed Assembly Language

1998 ◽  
pp. 28-52 ◽  
Author(s):  
Greg Morrisett ◽  
Karl Crary ◽  
Neal Glew ◽  
David Walker
Keyword(s):  
Assembly Language ◽  
Typed Assembly Language

An approach to improve locality using sandwich types

1998 ◽  
pp. 194-214 ◽  
Author(s):  
Daniela Genius ◽  
Martin Trapp ◽  
Wolf Zimmermann
Load More ...
Sign in / Sign up

Export Citation Format

Share Document