Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation - TLDI '07
Latest Publications

TOTAL DOCUMENTS

8

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By ACM Press

159593393x

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

What's the deal with dependent types?

Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation - TLDI '07 ◽

10.1145/1190315.1190316 ◽

2007 ◽

Author(s):

Conor McBride

Keyword(s):

Dependent Types

Download Full-text

Typing ad hoc data

Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation - TLDI '07 ◽

10.1145/1190315.1190317 ◽

2007 ◽

Author(s):

Kathleen Fisher

Keyword(s):

Download Full-text

A graphical presentation of MLF types with a linear-time unification algorithm

Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation - TLDI '07 ◽

10.1145/1190315.1190321 ◽

2007 ◽

Author(s):

Didier Rémy ◽

Boris Yakobowski

Keyword(s):

Linear Time ◽

Unification Algorithm ◽

Graphical Presentation

Download Full-text

A garbage-collecting typed assembly language

Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation - TLDI '07 ◽

10.1145/1190315.1190323 ◽

2007 ◽

Author(s):

Chris Hawblitzel ◽

Heng Huang ◽

Lea Wittie ◽

Juan Chen

Keyword(s):

Assembly Language ◽

Typed Assembly Language

Download Full-text

Modular information hiding and type-safe linking for C

Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation - TLDI '07 ◽

10.1145/1190315.1190319 ◽

2007 ◽

Author(s):

Saurabh Srivastava ◽

Michael Hicks ◽

Jeffrey S. Foster

Keyword(s):

Information Hiding

Download Full-text

Semantics of an effect analysis for exceptions

Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation - TLDI '07 ◽

10.1145/1190315.1190320 ◽

2007 ◽

Author(s):

Nick Benton ◽

Peter Buchlovsky

Keyword(s):

Effect Analysis

Download Full-text

An open framework for foundational proof-carrying code

Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation - TLDI '07 ◽

10.1145/1190315.1190325 ◽

2007 ◽

Author(s):

Xinyu Feng ◽

Zhaozhong Ni ◽

Zhong Shao ◽

Yu Guo

Keyword(s):

Download Full-text

System F with type equality coercions

Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation - TLDI '07 ◽

10.1145/1190315.1190324 ◽

2007 ◽

Author(s):

Martin Sulzmann ◽

Manuel M. T. Chakravarty ◽

Simon Peyton Jones ◽

Kevin Donnelly

Keyword(s):

Download Full-text