Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development - TyDe 2018
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450358255

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Sums of products for mutually recursive datatypes: the appropriationist’s view on generic programming

Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development - TyDe 2018 ◽

10.1145/3240719.3241786 ◽

2018 ◽

Cited By ~ 3

Author(s):

Victor Cacciari Miraldo ◽

Alejandro Serrano

Keyword(s):

Generic Programming ◽

Sums Of Products

Download Full-text

Typing, representing, and abstracting control: functional pearl

Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development - TyDe 2018 ◽

10.1145/3240719.3241788 ◽

2018 ◽

Cited By ~ 2

Author(s):

Philipp Schuster ◽

Jonathan Immanuel Brachthäuser

Keyword(s):

Control Functional

Download Full-text

Implementing resource-aware safe assembly for kernel probes as a dependently-typed DSL

Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development - TyDe 2018 ◽

10.1145/3240719.3241792 ◽

2018 ◽

Author(s):

Ilya Yanok ◽

Nathaniel Nystrom

Keyword(s):

Resource Aware

Download Full-text

Extensible type-directed editing

Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development - TyDe 2018 ◽

10.1145/3240719.3241791 ◽

2018 ◽

Cited By ~ 2

Author(s):

Joomy Korkut ◽

David Thrane Christiansen

Download Full-text

From algebra to abstract machine: a verified generic construction

Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development - TyDe 2018 ◽

10.1145/3240719.3241787 ◽

2018 ◽

Author(s):

Carlos Tomé Cortiñas ◽

Wouter Swierstra

Keyword(s):

Abstract Machine ◽

Generic Construction

Download Full-text

First class dynamic effect handlers: or, polymorphic heaps with dynamic effect handlers

Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development - TyDe 2018 ◽

10.1145/3240719.3241789 ◽

2018 ◽

Cited By ~ 1

Author(s):

Daan Leijen

Keyword(s):

Dynamic Effect ◽

Class Dynamic

Download Full-text

Authenticated modular maps in Haskell

Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development - TyDe 2018 ◽

10.1145/3240719.3241790 ◽

2018 ◽

Cited By ~ 1

Author(s):

Victor Cacciari Miraldo ◽

Harold Carr ◽

Alex Kogan ◽

Mark Moir ◽

Maurice Herlihy

Download Full-text

Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development - TyDe 2018Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Sums of products for mutually recursive datatypes: the appropriationist’s view on generic programming

Typing, representing, and abstracting control: functional pearl

Implementing resource-aware safe assembly for kernel probes as a dependently-typed DSL

Extensible type-directed editing

From algebra to abstract machine: a verified generic construction

First class dynamic effect handlers: or, polymorphic heaps with dynamic effect handlers

Authenticated modular maps in Haskell

Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development - TyDe 2018
Latest Publications