|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 48 publication records. Showing 48 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Qiancheng Fu, Hongwei Xi |
A Calculus of Inductive Linear Constructions.  |
TyDe@ICFP  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Lemay, Qiancheng Fu, William Blair, Cheng Zhang, Hongwei Xi |
A Dependently Typed Language with Dynamic Equality. |
TyDe@ICFP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Hanukaev, Harley Eades III |
Combining Dependency, Grades, and Adjoint Logic. |
TyDe@ICFP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Patterson 0001, Andrew Wagner, Amal Ahmed 0001 |
Semantic Encapsulation using Linking Types. |
TyDe@ICFP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Youyou Cong, Pierre-Évariste Dagand (eds.) |
Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development, TyDe 2023, Seattle, WA, USA, 4 September 2023 |
TyDe@ICFP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Paszke, Ningning Xie |
Infix-Extensible Record Types for Tabular Data. |
TyDe@ICFP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Zilin Chen |
A Hoare logic style refinement types formalisation. |
TyDe@ICFP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | |
TyDe '22: 7th ACM SIGPLAN International Workshop on Type-Driven Development, Ljubljana, Slovenia, 11 September 2022 |
TyDe@ICFP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Dolan |
Computing with generic trees in Agda. |
TyDe@ICFP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | David Moon, Andrew Blinn, Cyrus Omar |
tylr: a tiny tile-based structure editor. |
TyDe@ICFP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | David Binder, Ingo Skupin, David Läwen, Klaus Ostermann |
Structural refinement types. |
TyDe@ICFP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Alasdair Hill, Ekaterina Komendantskaya, Matthew L. Daggitt, Ronald P. A. Petrick |
Actions you can handle: dependent types for AI plans. |
TyDe@ICFP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Hsiang-Shang Ko, Dominic Orchard (eds.) |
TyDe 2021: Proceedings of the 6th ACM SIGPLAN International Workshop on Type-Driven Development, Virtual Event, Korea, 22 August 2021 |
TyDe@ICFP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Yinsen Zhang |
A simpler encoding of indexed types. |
TyDe@ICFP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas N. Reynolds, William L. Harrison, Rohit Chadha, Gerard Allwein |
Strongly bounded termination with applications to security and hardware synthesis. |
TyDe@ICFP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Víctor López Juan, Nils Anders Danielsson |
Practical dependent type checking using twin types. |
TyDe@ICFP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Sean Innes, Nicolas Wu |
Tic tac types: a gentle introduction to dependently typed programming (functional pearl). |
TyDe@ICFP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter-Michael Osera |
Constraint-based type-directed program synthesis. |
TyDe@ICFP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Allais |
Generic level polymorphic n-ary functions. |
TyDe@ICFP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Koen Jacobs, Andreas Nuyts, Dominique Devriese |
How to do proofs: practically proving properties about effectful programs' results (functional pearl). |
TyDe@ICFP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Monnier |
Inductive types deconstructed: the calculus of united constructions. |
TyDe@ICFP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | David Darais, Jeremy Gibbons (eds.) |
Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development, TyDe@ICFP 2019, Berlin, Germany, August 18, 2019 |
TyDe@ICFP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Liam O'Connor |
Deferring the details and deriving programs. |
TyDe@ICFP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard A. Eisenberg, Niki Vazou (eds.) |
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 |
DBLP DOI BibTeX RDF |
|
| 1 | Daan Leijen |
First class dynamic effect handlers: or, polymorphic heaps with dynamic effect handlers. |
TyDe@ICFP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor Cacciari Miraldo, Harold Carr, Alex Kogan, Mark Moir, Maurice Herlihy |
Authenticated modular maps in Haskell. |
TyDe@ICFP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor Cacciari Miraldo, Alejandro Serrano 0001 |
Sums of products for mutually recursive datatypes: the appropriationist's view on generic programming. |
TyDe@ICFP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Philipp Schuster, Jonathan Immanuel Brachthäuser |
Typing, representing, and abstracting control: functional pearl. |
TyDe@ICFP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilya Yanok, Nathaniel Nystrom |
Implementing resource-aware safe assembly for kernel probes as a dependently-typed DSL. |
TyDe@ICFP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Tomé Cortiñas, Wouter Swierstra |
From algebra to abstract machine: a verified generic construction. |
TyDe@ICFP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Joomy Korkut, David Thrane Christiansen |
Extensible type-directed editing. |
TyDe@ICFP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor Cacciari Miraldo, Pierre-Évariste Dagand, Wouter Swierstra |
Type-directed diffing of structured data. |
TyDe@ICFP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcell van Geest, Wouter Swierstra |
Generic packet descriptions: verified parsing and pretty printing of low-level data. |
TyDe@ICFP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Sam Lindley, Brent A. Yorgey (eds.) |
Proceedings of the 2nd ACM SIGPLAN International Workshop on Type-Driven Development, TyDe@ICFP 2017, Oxford, UK, September 3, 2017 |
TyDe@ICFP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Daan Leijen |
Structured asynchrony with algebraic effects. |
TyDe@ICFP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Kennedy |
Driving types into PHP (invited talk). |
TyDe@ICFP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jennifer Paykin, Antal Spector-Zabusky, Kenneth Foner |
choose your own derivative (extended abstract). |
TyDe@ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter-Michael Osera |
Programming assistance for type-directed programming (extended abstract). |
TyDe@ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Bashar Igried, Anton Setzer |
Programming with monadic CSP-style processes in dependent type theory. |
TyDe@ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Hillerström, Sam Lindley |
Liberating effects with rows and handlers. |
TyDe@ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Sandberg Eriksson, Patrik Jansson |
An agda formalisation of the transitive closure of block matrices (extended abstract). |
TyDe@ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Gibbons |
APLicative programming with Naperian functors (extended abstract). |
TyDe@ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | David Kaloper-Mersinjak, Jeremy Yallop |
Generic partially-static data (extended abstract). |
TyDe@ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | James Chapman 0001, Wouter Swierstra (eds.) |
Proceedings of the 1st International Workshop on Type-Driven Development, TyDe@ICFP 2016, Nara, Japan, September 18, 2016 |
TyDe@ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Larry Diehl, Tim Sheard |
Generic lookup and update for infinitary inductive-recursive types. |
TyDe@ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Vassena |
Generic Diff3 for algebraic datatypes. |
TyDe@ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Oleg Kiselyov |
Parameterized extensible effects and session types (extended abstract). |
TyDe@ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Liam O'Connor |
Applications of applicative proof search. |
TyDe@ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #48 of 48 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license