Proceedings of the 1st International Workshop on Type-Driven Development - TyDe 2016
Latest Publications

TOTAL DOCUMENTS

11

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By ACM Press

9781450344357

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Programming with monadic CSP-style processes in dependent type theory

Proceedings of the 1st International Workshop on Type-Driven Development - TyDe 2016 ◽

10.1145/2976022.2976032 ◽

2016 ◽

Author(s):

Bashar Igried ◽

Anton Setzer

Keyword(s):

Type Theory ◽

Dependent Type Theory ◽

Download Full-text

An agda formalisation of the transitive closure of block matrices (extended abstract)

Proceedings of the 1st International Workshop on Type-Driven Development - TyDe 2016 ◽

10.1145/2976022.2976025 ◽

2016 ◽

Author(s):

Adam Sandberg Eriksson ◽

Patrik Jansson

Keyword(s):

Transitive Closure ◽

Download Full-text

Liberating effects with rows and handlers

Proceedings of the 1st International Workshop on Type-Driven Development - TyDe 2016 ◽

10.1145/2976022.2976033 ◽

2016 ◽

Author(s):

Daniel Hillerström ◽

Sam Lindley

Download Full-text

Generic Diff3 for algebraic datatypes

Proceedings of the 1st International Workshop on Type-Driven Development - TyDe 2016 ◽

10.1145/2976022.2976026 ◽

2016 ◽

Author(s):

Marco Vassena

Download Full-text

Applications of applicative proof search

Proceedings of the 1st International Workshop on Type-Driven Development - TyDe 2016 ◽

10.1145/2976022.2976030 ◽

2016 ◽

Author(s):

Liam O'Connor

Keyword(s):

Download Full-text

choose your own derivative (extended abstract)

Proceedings of the 1st International Workshop on Type-Driven Development - TyDe 2016 ◽

10.1145/2976022.2976024 ◽

2016 ◽

Author(s):

Jennifer Paykin ◽

Antal Spector-Zabusky ◽

Kenneth Foner

Download Full-text

Generic partially-static data (extended abstract)

Proceedings of the 1st International Workshop on Type-Driven Development - TyDe 2016 ◽

10.1145/2976022.2976028 ◽

2016 ◽

Author(s):

David Kaloper-Meršinjak ◽

Jeremy Yallop

Keyword(s):

Download Full-text

APLicative programming with Naperian functors (extended abstract)

Proceedings of the 1st International Workshop on Type-Driven Development - TyDe 2016 ◽

10.1145/2976022.2976023 ◽

2016 ◽

Author(s):

Jeremy Gibbons

Download Full-text

Parameterized extensible effects and session types (extended abstract)

Proceedings of the 1st International Workshop on Type-Driven Development - TyDe 2016 ◽

10.1145/2976022.2976034 ◽

2016 ◽

Author(s):

Oleg Kiselyov

Keyword(s):

Download Full-text

Generic lookup and update for infinitary inductive-recursive types

Proceedings of the 1st International Workshop on Type-Driven Development - TyDe 2016 ◽

10.1145/2976022.2976031 ◽

2016 ◽

Author(s):

Larry Diehl ◽

Tim Sheard

Download Full-text