C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
TyDe@ICFP
2016
2018
2021
2023
2016
2023
Keyphrases
Publications
2023
Qiancheng Fu
,
Hongwei Xi
A Calculus of Inductive Linear Constructions.
TyDe@ICFP
(2023)
Mark Lemay
,
Qiancheng Fu
,
William Blair
,
Cheng Zhang
,
Hongwei Xi
A Dependently Typed Language with Dynamic Equality.
TyDe@ICFP
(2023)
Peter Hanukaev
,
Harley Eades III
Combining Dependency, Grades, and Adjoint Logic.
TyDe@ICFP
(2023)
Daniel Patterson
,
Andrew Wagner
,
Amal Ahmed
Semantic Encapsulation using Linking Types.
TyDe@ICFP
(2023)
Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development, TyDe 2023, Seattle, WA, USA, 4 September 2023
TyDe@ICFP
(2023)
Adam Paszke
,
Ningning Xie
Infix-Extensible Record Types for Tabular Data.
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
Sean Innes
,
Nicolas Wu
Tic tac types: a gentle introduction to dependently typed programming (functional pearl).
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)
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)
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)
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)
Daan Leijen
First class dynamic effect handlers: or, polymorphic heaps with dynamic effect handlers.
TyDe@ICFP
(2018)
Victor Cacciari Miraldo
,
Harold Carr
,
Alex Kogan
,
Mark Moir
,
Maurice Herlihy
Authenticated modular maps in Haskell.
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)
Philipp Schuster
,
Jonathan Immanuel Brachthäuser
Typing, representing, and abstracting control: functional pearl.
TyDe@ICFP
(2018)
Ilya Yanok
,
Nathaniel Nystrom
Implementing resource-aware safe assembly for kernel probes as a dependently-typed DSL.
TyDe@ICFP
(2018)
Carlos Tomé Cortiñas
,
Wouter Swierstra
From algebra to abstract machine: a verified generic construction.
TyDe@ICFP
(2018)
Joomy Korkut
,
David Thrane Christiansen
Extensible type-directed editing.
TyDe@ICFP
(2018)
2017
Victor Cacciari Miraldo
,
Pierre-Évariste Dagand
,
Wouter Swierstra
Type-directed diffing of structured data.
TyDe@ICFP
(2017)
Marcell van Geest
,
Wouter Swierstra
Generic packet descriptions: verified parsing and pretty printing of low-level data.
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)
Daan Leijen
Structured asynchrony with algebraic effects.
TyDe@ICFP
(2017)
Andrew Kennedy
Driving types into PHP (invited talk).
TyDe@ICFP
(2017)
2016
Jennifer Paykin
,
Antal Spector-Zabusky
,
Kenneth Foner
choose your own derivative (extended abstract).
TyDe@ICFP
(2016)
Peter-Michael Osera
Programming assistance for type-directed programming (extended abstract).
TyDe@ICFP
(2016)
Bashar Igried
,
Anton Setzer
Programming with monadic CSP-style processes in dependent type theory.
TyDe@ICFP
(2016)
Daniel Hillerström
,
Sam Lindley
Liberating effects with rows and handlers.
TyDe@ICFP
(2016)
Adam Sandberg Eriksson
,
Patrik Jansson
An agda formalisation of the transitive closure of block matrices (extended abstract).
TyDe@ICFP
(2016)
Jeremy Gibbons
APLicative programming with Naperian functors (extended abstract).
TyDe@ICFP
(2016)
David Kaloper-Mersinjak
,
Jeremy Yallop
Generic partially-static data (extended abstract).
TyDe@ICFP
(2016)
Proceedings of the 1st International Workshop on Type-Driven Development, TyDe@ICFP 2016, Nara, Japan, September 18, 2016
TyDe@ICFP
(2016)
Larry Diehl
,
Tim Sheard
Generic lookup and update for infinitary inductive-recursive types.
TyDe@ICFP
(2016)
Marco Vassena
Generic Diff3 for algebraic datatypes.
TyDe@ICFP
(2016)
Oleg Kiselyov
Parameterized extensible effects and session types (extended abstract).
TyDe@ICFP
(2016)
Liam O'Connor
Applications of applicative proof search.
TyDe@ICFP
(2016)