An overview of Types in Compilation

Abstract : A short survey of the uses of types in compilation.
Document type :
Conference papers
Complete list of metadatas

Cited literature [41 references]  Display  Hide  Download

https://hal.inria.fr/hal-01499960
Contributor : Xavier Leroy <>
Submitted on : Friday, April 7, 2017 - 4:08:31 PM
Last modification on : Friday, May 25, 2018 - 12:02:03 PM
Long-term archiving on : Saturday, July 8, 2017 - 12:26:17 PM

File

intro-tic98.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Xavier Leroy. An overview of Types in Compilation. TIC 1998: workshop Types in Compilation, Mar 1998, Kyoto, Japan. pp.1-8, ⟨10.1007/BFb0055509⟩. ⟨hal-01499960⟩

Share

Metrics

Record views

291

Files downloads

63