default search action

combined dblp search
author search
venue search
publication search

ask others

3rd TyDe 2018: St. Louis, MO, USA

> Home > Conferences and Workshops > TyDe

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/icfp/2018tyde
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/2018tyde
Richard A. Eisenberg, Niki Vazou:
Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development, TyDe@ICFP 2018, St. Louis, MO, USA, September 27, 2018. ACM 2018
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/MiraldoCKMH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/MiraldoCKMH18
Victor Cacciari Miraldo, Harold Carr, Alex Kogan, Mark Moir, Maurice Herlihy:
Authenticated modular maps in Haskell. 1-13
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/SchusterB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/SchusterB18
Philipp Schuster, Jonathan Immanuel Brachthäuser:
Typing, representing, and abstracting control: functional pearl. 14-24
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/YanokN18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/YanokN18
Ilya Yanok, Nathaniel Nystrom:
Implementing resource-aware safe assembly for kernel probes as a dependently-typed DSL. 25-37
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/KorkutC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/KorkutC18
Joomy Korkut, David Thrane Christiansen:
Extensible type-directed editing. 38-50
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/Leijen18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/Leijen18
Daan Leijen:
First class dynamic effect handlers: or, polymorphic heaps with dynamic effect handlers. 51-64
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/MiraldoS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/MiraldoS18
Victor Cacciari Miraldo, Alejandro Serrano:
Sums of products for mutually recursive datatypes: the appropriationist's view on generic programming. 65-77
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/CortinasS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/CortinasS18
Carlos Tomé Cortiñas, Wouter Swierstra:
From algebra to abstract machine: a verified generic construction. 78-90

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.