Proceedings of the 4th international workshop on Types in language design and implementation - TLDI '09
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781605584201

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Typed transformations of typed abstract syntax

Proceedings of the 4th international workshop on Types in language design and implementation - TLDI '09 ◽

10.1145/1481861.1481865 ◽

2008 ◽

Cited By ~ 6

Author(s):

Arthur I. Baars ◽

S. Doaitse Swierstra ◽

Marcos Viera

Keyword(s):

Abstract Syntax

Download Full-text

Dependently typed programming in Agda

Proceedings of the 4th international workshop on Types in language design and implementation - TLDI '09 ◽

10.1145/1481861.1481862 ◽

2008 ◽

Cited By ~ 27

Author(s):

Ulf Norell

Download Full-text

Secure compilation of a multi-tier web language

Proceedings of the 4th international workshop on Types in language design and implementation - TLDI '09 ◽

10.1145/1481861.1481866 ◽

2008 ◽

Cited By ~ 6

Author(s):

Ioannis G. Baltopoulos ◽

Andrew D. Gordon

Download Full-text

Towards type-theoretic semantics for transactional concurrency

Proceedings of the 4th international workshop on Types in language design and implementation - TLDI '09 ◽

10.1145/1481861.1481872 ◽

2008 ◽

Cited By ~ 2

Author(s):

Aleksandar Nanevski ◽

Paul Govereau ◽

Greg Morrisett

Download Full-text

Relational parametricity for references and recursive types

Proceedings of the 4th international workshop on Types in language design and implementation - TLDI '09 ◽

10.1145/1481861.1481873 ◽

2008 ◽

Cited By ~ 2

Author(s):

Lars Birkedal ◽

Kristian Støvring ◽

Jacob Thamsborg

Download Full-text

Design patterns in separation logic

Proceedings of the 4th international workshop on Types in language design and implementation - TLDI '09 ◽

10.1145/1481861.1481874 ◽

2008 ◽

Cited By ~ 11

Author(s):

Neelakantan R. Krishnaswami ◽

Jonathan Aldrich ◽

Lars Birkedal ◽

Kasper Svendsen ◽

Alexandre Buisse

Keyword(s):

Design Patterns ◽

Separation Logic

Download Full-text

Static extraction of sound hierarchical runtime object graphs

Proceedings of the 4th international workshop on Types in language design and implementation - TLDI '09 ◽

10.1145/1481861.1481869 ◽

2008 ◽

Cited By ~ 1

Author(s):

Marwan Abi-Antoun ◽

Jonathan Aldrich

Keyword(s):

Static Extraction ◽

Object Graphs

Download Full-text

Opis

Proceedings of the 4th international workshop on Types in language design and implementation - TLDI '09 ◽

10.1145/1481861.1481870 ◽

2008 ◽

Cited By ~ 3

Author(s):

Pierre-Évariste Dagand ◽

Dejan Kostić ◽

Viktor Kuncak

Download Full-text

Compiling functional types to relational specifications for low level imperative code

Proceedings of the 4th international workshop on Types in language design and implementation - TLDI '09 ◽

10.1145/1481861.1481864 ◽

2008 ◽

Cited By ~ 13

Author(s):

Nick Benton ◽

Nicolas Tabareau

Keyword(s):

Low Level ◽

Functional Types

Download Full-text

A generic type-and-effect system

Proceedings of the 4th international workshop on Types in language design and implementation - TLDI '09 ◽

10.1145/1481861.1481868 ◽

2008 ◽

Cited By ~ 20

Author(s):

Daniel Marino ◽

Todd Millstein

Keyword(s):

Generic Type

Download Full-text

Proceedings of the 4th international workshop on Types in language design and implementation - TLDI '09Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Typed transformations of typed abstract syntax

Dependently typed programming in Agda

Secure compilation of a multi-tier web language

Towards type-theoretic semantics for transactional concurrency

Relational parametricity for references and recursive types

Design patterns in separation logic

Static extraction of sound hierarchical runtime object graphs

Opis

Compiling functional types to relational specifications for low level imperative code

A generic type-and-effect system

Proceedings of the 4th international workshop on Types in language design and implementation - TLDI '09
Latest Publications