Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation - TLDI '10
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781605588919

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Lightweight linear types in system f°

Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation - TLDI '10 ◽

10.1145/1708016.1708027 ◽

2010 ◽

Cited By ~ 22

Author(s):

Karl Mazurak ◽

Jianzhou Zhao ◽

Steve Zdancewic

Keyword(s):

Linear Types ◽

System F

Download Full-text

Verifying event-driven programs using ramified frame properties

Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation - TLDI '10 ◽

10.1145/1708016.1708025 ◽

2010 ◽

Cited By ~ 15

Author(s):

Neel R. Krishnaswami ◽

Lars Birkedal ◽

Jonathan Aldrich

Keyword(s):

Event Driven

Download Full-text

Adding types to untyped languages

Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation - TLDI '10 ◽

10.1145/1708016.1708017 ◽

2010 ◽

Author(s):

Matthias Felleisen

Download Full-text

F-ing modules

Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation - TLDI '10 ◽

10.1145/1708016.1708028 ◽

2010 ◽

Cited By ~ 17

Author(s):

Andreas Rossberg ◽

Claudio V. Russo ◽

Derek Dreyer

Download Full-text

Let should not be generalized

Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation - TLDI '10 ◽

10.1145/1708016.1708023 ◽

2010 ◽

Cited By ~ 19

Author(s):

Dimitrios Vytiniotis ◽

Simon Peyton Jones ◽

Tom Schrijvers

Download Full-text

Race-free and memory-safe multithreading

Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation - TLDI '10 ◽

10.1145/1708016.1708020 ◽

2010 ◽

Cited By ~ 3

Author(s):

Prodromos Gerakios ◽

Nikolaos Papaspyrou ◽

Konstantinos Sagonas

Download Full-text

Effects for cooperable and serializable threads

Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation - TLDI '10 ◽

10.1145/1708016.1708019 ◽

2010 ◽

Cited By ~ 5

Author(s):

Jaeheon Yi ◽

Cormac Flanagan

Download Full-text

Distributed programming with distributed authorization

Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation - TLDI '10 ◽

10.1145/1708016.1708021 ◽

2010 ◽

Cited By ~ 6

Author(s):

Kumar Avijit ◽

Anupam Datta ◽

Robert Harper

Keyword(s):

Distributed Programming ◽

Distributed Authorization

Download Full-text

Pointwise generalized algebraic data types

Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation - TLDI '10 ◽

10.1145/1708016.1708024 ◽

2010 ◽

Cited By ~ 5

Author(s):

Chuan-kai Lin ◽

Tim Sheard

Keyword(s):

Data Types ◽

Algebraic Data Types

Download Full-text

Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation - TLDI '10Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Lightweight linear types in system f°

Verifying event-driven programs using ramified frame properties

Adding types to untyped languages

F-ing modules

Let should not be generalized

Race-free and memory-safe multithreading

Effects for cooperable and serializable threads

Distributed programming with distributed authorization

Pointwise generalized algebraic data types

Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation - TLDI '10
Latest Publications