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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(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 ◽

Cited By ~ 4

Author(s):

Bashar Igried ◽

Anton Setzer

Keyword(s):

Type Theory ◽

Dependent Type Theory ◽

Dependent Type

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 ◽

Block Matrices

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 ◽

Cited By ~ 25

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 ◽

Cited By ~ 2

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 ◽

Cited By ~ 1

Author(s):

Liam O'Connor

Keyword(s):

Proof Search

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 ◽

Cited By ~ 1

Author(s):

Oleg Kiselyov

Keyword(s):

Session Types

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 ◽

Cited By ~ 2

Author(s):

David Kaloper-Meršinjak ◽

Jeremy Yallop

Keyword(s):

Static Data

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

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

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Programming with monadic CSP-style processes in dependent type theory

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

Liberating effects with rows and handlers

Generic Diff3 for algebraic datatypes

Applications of applicative proof search

Parameterized extensible effects and session types (extended abstract)

choose your own derivative (extended abstract)

Generic partially-static data (extended abstract)

APLicative programming with Naperian functors (extended abstract)

Generic lookup and update for infinitary inductive-recursive types

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