default search action

combined dblp search
author search
venue search
publication search

ask others

9th TyDe 2024: Milan, Italy

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/tyde/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tyde/2024
Sandra Alves, Jesper Cockx:
Proceedings of the 9th ACM SIGPLAN International Workshop on Type-Driven Development, TyDe 2024, Milan, Italy, 6 September 2024. ACM 2024, ISBN 979-8-4007-1103-9
- view
  authority control:
- export record
  dblp key:
  - conf/tyde/Keller24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tyde/Keller24
Gabriele Keller:
Types for Correctness, Convenience, and Performance (Keynote). 1
- view
  authority control:
- export record
  dblp key:
  - conf/tyde/Saffrich0W24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tyde/Saffrich0W24
Hannes Saffrich, Peter Thiemann, Marius Weidner:
Intrinsically Typed Syntax, a Logical Relation, and the Scourge of the Transfer Lemma. 2-15
- view
  authority control:
- export record
  dblp key:
  - conf/tyde/TodorovP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tyde/TodorovP24
Ivan Todorov, Casper Bach Poulsen:
Modal μ-Calculus for Free in Agda. 16-28
- view
  authority control:
- export record
  dblp key:
  - conf/tyde/Monnier24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tyde/Monnier24
Stefan Monnier:
Normalizable Types. 29-36
- view
  authority control:
- export record
  dblp key:
  - conf/tyde/HansenB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tyde/HansenB24
Thomas Ekström Hansen, Edwin C. Brady:
Type-Level Property Based Testing. 37-49
- view
  authority control:
- export record
  dblp key:
  - conf/tyde/EtterM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tyde/EtterM24
Marc Etter, Farhad Mehta:
Towards Type-Directed API Search for Mainstream Languages. 50-61
- view
  authority control:
- export record
  dblp key:
  - conf/tyde/AnnusJ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tyde/AnnusJ24
Tavo Annus, Philipp Joram:
Term Search in Rust. 62-73

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.