The New Compiler

Authors:
Timothy Hart;Michael Levin
Affiliations:
-;-
Venue:
The New Compiler
Year:
1962

Citing 0
Cited 2

Demystifying magic: high-level low-level programming

Proceedings of the 2009 ACM SIGPLAN/SIGOPS international conference on Virtual execution environments
Self-certification: bootstrapping certified typecheckers in F* with Coq

POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Quantified Score

Hi-index	0.00

Visualization

Abstract