The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "TyDe@ICFP"( http://dblp.L3S.de/Venues/TyDe@ICFP )

URL (DBLP): http://dblp.uni-trier.de/db/conf/icfp

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