Cover Image
Read Now

1
Published 1998
Springer Berlin Heidelberg
Table of Contents: “...Compiling Java to a typed lambda-calculus: A preliminary report -- Stack-based Typed Assembly...”
Cover Image
Read Now

2
by Leroy, Xavier
Published 1998
Springer Berlin Heidelberg
Subjects: “...Programming Languages, Compilers, Interpreters...”
Cover Image
Read Now

3
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... Is Typable and Poly-step -- Cut Elimination for Classical Proofs as Continuation Passing Style Computation...”
Cover Image
Read Now

5
by Hsiang, Jieh
Published 1998
Springer-Verlag Berlin Heidelberg
Subjects: “...Programming Languages, Compilers, Interpreters...”
Cover Image
Read Now

6
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... -- Executing Verified Compiler Specification -- Controlling and Optimizing the Usage of One Resource...”
Cover Image
Read Now

7
by Ohori, Atsushi
Published 2003
Springer Berlin Heidelberg
Subjects: “...Programming Languages, Compilers, Interpreters...”