Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Authors
(49)
Zhong Shao (邵中)
4
J. Gregory Morrisett
3
Xavier Leroy
3
Karl Crary
3
Dominic Duggan
3
Joe B. Wells
2
Andrew Tolmach
2
Allyn Dimock
2
Bratin K. Saha
2
Robert Harper
2
Keywords
(62)
Subscribe
Academic
Conferences
TIC - Types in Compilation
TIC - Types in Compilation
Publications: 36
|
Citation Count: 987 (Self-Citation: 24)
|
H-Index: 15Year Range: 1986-2003
Interests:
Programming Languages
Homepage
Add CFP
The information isn't correct? You can
edit it
Cumulative
Annual
Order by:
Publications
(36)
Scrap your boilerplate: a practical design pattern for generic programming
(
Citations: 149
)
Ralf Lämmel
,
Simon L. Peyton Jones
Conference:
Types in Compilation - TIC
, pp. 26-37, 2003
Types in Compilation, Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000, Revised Selected Papers
Robert Harper
Conference:
Types in Compilation - TIC
, 2001
Alias Types for Recursive Data Structures
(
Citations: 165
)
David Walker
,
J. Gregory Morrisett
Conference:
Types in Compilation - TIC
, pp. 177-206, 2000
Scalable Certification for Typed Assembly Language
(
Citations: 23
)
Dan Grossman
,
J. Gregory Morrisett
Conference:
Types in Compilation - TIC
, pp. 117-146, 2000
Safe and Flexible Dynamic Linking of Native Code
(
Citations: 49
)
Michael W. Hicks
,
Stephanie Weirich
,
Karl Crary
Conference:
Types in Compilation - TIC
, pp. 147-176, 2000