Computer Science Department
School of Computer Science, Carnegie Mellon University
Preliminary Proceedings of the Third Workshop on Types in Compilation
(TIC 2000)
September 21, 2000
Abstract,
A.ps (Intro),
A.pdf ,
B.ps (Grossman, Morrisett),
B.pdf ,
C.ps (Dimock, Westmacott, Muller, Turbak, Wells, Considine),
C.pdf ,
D.ps (Crary),
D.pdf ,
E.ps (Bigliardi, Laneve),
E.pdf ,
F.ps (Igarashi, Kobayashi),
F.pdf ,
G.ps (Leair, Pande),
G.pdf ,
H.ps (Drossopoulou),
H.pdf ,
I.ps (Hicks, Weirich, Crary),
I.pdf ,
J.ps (Duggan),
J.pdf ,
K.ps (Walker, Morrisett),
K.pdf ,
L.ps (Wansbrough, Peyton Jones),
L.pdf ,
M.ps (Saha, Trifonov, Shao),
M.pdf
This vclume is the informal proceedings of the Third ACM SIGPLAN Workshop
on Types in Compilation held in conjunction with PLI 2000 in Montreal,
Canada on September 21, 2000. These papers represent a selection of 12
papers chosen by the program committee after review of 20 submissions.
Each papser was refereed by at least three members of the committee. The
final selection of papers was made by the program chair with the consent
of the committee. Papers co-authored by a program committee member were
refereed independently of that member, with the final decision made by
the program chair. The authors were invited to review their submissions
based on the referee reports and are reproduced here. A formal proceedings
will be published by Springer-Verlag as part of the Lecture Notes in
Computer Sciences series after the workshop. These papers will be
refereed to journal standards and will represent an archival record of
the research reported herein.
~250pages
Return to:
SCS Technical Report Collection This page maintained by reports@cs.cmu.edu
School of Computer Science homepage