default search action

combined dblp search
author search
venue search
publication search

ask others

2nd TyDe 2017: Oxford, UK

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> 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/2017tyde
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/2017tyde
Sam Lindley, Brent A. Yorgey:
Proceedings of the 2nd ACM SIGPLAN International Workshop on Type-Driven Development, TyDe@ICFP 2017, Oxford, UK, September 3, 2017. ACM 2017, ISBN 978-1-4503-5183-6
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/Kennedy17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/Kennedy17
Andrew Kennedy:
Driving types into PHP (invited talk). 1
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/MiraldoDS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/MiraldoDS17
Victor Cacciari Miraldo, Pierre-Évariste Dagand, Wouter Swierstra:
Type-directed diffing of structured data. 2-15
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/Leijen17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/Leijen17
Daan Leijen:
Structured asynchrony with algebraic effects. 16-29
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/GeestS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/GeestS17
Marcell van Geest, Wouter Swierstra:
Generic packet descriptions: verified parsing and pretty printing of low-level data. 30-40

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.