Login / Signup
TyDe@ICFP
2016
2019
2024
2016
2024
Keyphrases
Publications
2024
Hannes Saffrich
,
Peter Thiemann
,
Marius Weidner
Intrinsically Typed Syntax, a Logical Relation, and the Scourge of the Transfer Lemma.
TyDe@ICFP
(2024)
Stefan Monnier
Normalizable Types.
TyDe@ICFP
(2024)
Proceedings of the 9th ACM SIGPLAN International Workshop on Type-Driven Development, TyDe 2024, Milan, Italy, 6 September 2024
TyDe@ICFP
(2024)
Gabriele Keller
Types for Correctness, Convenience, and Performance (Keynote).
TyDe@ICFP
(2024)
Tavo Annus
,
Philipp Joram
Term Search in Rust.
TyDe@ICFP
(2024)
Thomas Ekström Hansen
,
Edwin Brady
Type-Level Property Based Testing.
TyDe@ICFP
(2024)
Ivan Todorov
,
Casper Bach Poulsen
Modal μ-Calculus for Free in Agda.
TyDe@ICFP
(2024)
Marc Etter
,
Farhad Mehta
Towards Type-Directed API Search for Mainstream Languages.
TyDe@ICFP
(2024)
2023
Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development, TyDe 2023, Seattle, WA, USA, 4 September 2023
TyDe@ICFP
(2023)
Mark Lemay
,
Qiancheng Fu
,
William Blair
,
Cheng Zhang
,
Hongwei Xi
A Dependently Typed Language with Dynamic Equality.
TyDe@ICFP
(2023)
Qiancheng Fu
,
Hongwei Xi
A Calculus of Inductive Linear Constructions.
TyDe@ICFP
(2023)
Peter Hanukaev
,
Harley Eades III
Combining Dependency, Grades, and Adjoint Logic.
TyDe@ICFP
(2023)
Adam Paszke
,
Ningning Xie
Infix-Extensible Record Types for Tabular Data.
TyDe@ICFP
(2023)
Daniel Patterson
,
Andrew Wagner
,
Amal Ahmed
Semantic Encapsulation using Linking Types.
TyDe@ICFP
(2023)
2022
Zilin Chen
A Hoare logic style refinement types formalisation.
TyDe@ICFP
(2022)
TyDe '22: 7th ACM SIGPLAN International Workshop on Type-Driven Development, Ljubljana, Slovenia, 11 September 2022
TyDe@ICFP
(2022)
Stephen Dolan
Computing with generic trees in Agda.
TyDe@ICFP
(2022)
David Moon
,
Andrew Blinn
,
Cyrus Omar
tylr: a tiny tile-based structure editor.
TyDe@ICFP
(2022)
David Binder
,
Ingo Skupin
,
David Läwen
,
Klaus Ostermann
Structural refinement types.
TyDe@ICFP
(2022)
2021
TyDe 2021: Proceedings of the 6th ACM SIGPLAN International Workshop on Type-Driven Development, Virtual Event, Korea, 22 August 2021
TyDe@ICFP
(2021)
Alasdair Hill
,
Ekaterina Komendantskaya
,
Matthew L. Daggitt
,
Ronald P. A. Petrick
Actions you can handle: dependent types for AI plans.
TyDe@ICFP
(2021)
Yinsen Zhang
A simpler encoding of indexed types.
TyDe@ICFP
(2021)
2020
Thomas N. Reynolds
,
William L. Harrison
,
Rohit Chadha
,
Gerard Allwein
Strongly bounded termination with applications to security and hardware synthesis.
TyDe@ICFP
(2020)
Víctor López Juan
,
Nils Anders Danielsson
Practical dependent type checking using twin types.
TyDe@ICFP
(2020)
2019
Koen Jacobs
,
Andreas Nuyts
,
Dominique Devriese
How to do proofs: practically proving properties about effectful programs' results (functional pearl).
TyDe@ICFP
(2019)
Stefan Monnier
Inductive types deconstructed: the calculus of united constructions.
TyDe@ICFP
(2019)
Sean Innes
,
Nicolas Wu
Tic tac types: a gentle introduction to dependently typed programming (functional pearl).
TyDe@ICFP
(2019)
Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development, TyDe@ICFP 2019, Berlin, Germany, August 18, 2019
TyDe@ICFP
(2019)
Liam O'Connor
Deferring the details and deriving programs.
TyDe@ICFP
(2019)
Peter-Michael Osera
Constraint-based type-directed program synthesis.
TyDe@ICFP
(2019)
Guillaume Allais
Generic level polymorphic n-ary functions.
TyDe@ICFP
(2019)
2018
Victor Cacciari Miraldo
,
Harold Carr
,
Alex Kogan
,
Mark Moir
,
Maurice Herlihy
Authenticated modular maps in Haskell.
TyDe@ICFP
(2018)
Ilya Yanok
,
Nathaniel Nystrom
Implementing resource-aware safe assembly for kernel probes as a dependently-typed DSL.
TyDe@ICFP
(2018)
Victor Cacciari Miraldo
,
Alejandro Serrano
Sums of products for mutually recursive datatypes: the appropriationist's view on generic programming.
TyDe@ICFP
(2018)
Carlos Tomé Cortiñas
,
Wouter Swierstra
From algebra to abstract machine: a verified generic construction.
TyDe@ICFP
(2018)
Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development, TyDe@ICFP 2018, St. Louis, MO, USA, September 27, 2018
TyDe@ICFP
(2018)
Philipp Schuster
,
Jonathan Immanuel Brachthäuser
Typing, representing, and abstracting control: functional pearl.
TyDe@ICFP
(2018)
Daan Leijen
First class dynamic effect handlers: or, polymorphic heaps with dynamic effect handlers.
TyDe@ICFP
(2018)
Joomy Korkut
,
David Thrane Christiansen
Extensible type-directed editing.
TyDe@ICFP
(2018)
2017
Marcell van Geest
,
Wouter Swierstra
Generic packet descriptions: verified parsing and pretty printing of low-level data.
TyDe@ICFP
(2017)
Daan Leijen
Structured asynchrony with algebraic effects.
TyDe@ICFP
(2017)
Andrew Kennedy
Driving types into PHP (invited talk).
TyDe@ICFP
(2017)
Proceedings of the 2nd ACM SIGPLAN International Workshop on Type-Driven Development, TyDe@ICFP 2017, Oxford, UK, September 3, 2017
TyDe@ICFP
(2017)
Victor Cacciari Miraldo
,
Pierre-Évariste Dagand
,
Wouter Swierstra
Type-directed diffing of structured data.
TyDe@ICFP
(2017)
2016
Jennifer Paykin
,
Antal Spector-Zabusky
,
Kenneth Foner
choose your own derivative (extended abstract).
TyDe@ICFP
(2016)
Adam Sandberg Eriksson
,
Patrik Jansson
An agda formalisation of the transitive closure of block matrices (extended abstract).
TyDe@ICFP
(2016)
Liam O'Connor
Applications of applicative proof search.
TyDe@ICFP
(2016)
Bashar Igried
,
Anton Setzer
Programming with monadic CSP-style processes in dependent type theory.
TyDe@ICFP
(2016)
Jeremy Gibbons
APLicative programming with Naperian functors (extended abstract).
TyDe@ICFP
(2016)
Peter-Michael Osera
Programming assistance for type-directed programming (extended abstract).
TyDe@ICFP
(2016)