Table of contents

  1. Front Matter
  2. Xavier Leroy
    Pages 1-8
  3. Andrew Wright, Suresh Jagannathan, Cristian Ungureanu, Aaron Hertzmann
    Pages 9-27
  4. Greg Morrisett, Karl Crary, Neal Glew, David Walker
    Pages 28-52
  5. Andrew Bernard, Robert Harper, Peter Lee
    Pages 53-77
  6. Alexander Aiken, Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su
    Pages 78-96
  7. Zhong Shao, Valery Trifonov
    Pages 116-135
  8. Martin Elsman
    Pages 136-155
  9. Bratin Saha, Zhong Shao
    Pages 156-177
  10. Peter Thiemann
    Pages 178-193
  11. Daniela Genius, Martin Trapp, Wolf Zimmermann
    Pages 194-214
  12. Haruo Hosoya, Akinori Yonezawa
    Pages 215-239
  13. Naoki Kobayashi
    Pages 272-272

About these proceedings


This book constitutes the thoroughly refereed post-workshop proceedings of the Second International Workshop on Types in Compilation, TIC '98, held in Kyoto, Japan in March 1998.
The book presents 13 revised full papers carefully selected during an iterated reviewing process together with three invited papers. The papers are organized in topical sections on typed intermediate languages, program analyses, program transformations and code generation, memory management, partial evaluation and run-time code generation, and distributed computing.


Assembly language Constraint Java Lex ML compiler distributed computing semantics

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1998
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-64925-0
  • Online ISBN 978-3-540-68308-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment