• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 23 matches

• 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 [contents]
• 2023
• 
  Jonathan Brouwer, Jesper Cockx, Aron Zwaan:
  Dependently Typed Languages in Statix. Eelco Visser Commemorative Symposium 2023: 6:1-6:8
• 
  Bohdan Liesnikov, Jesper Cockx:
  ExEl: Building an Elaborator Using Extensible Constraints. IFL 2023: 4:1-4:13
• 2022
• 
  Lucas Escot, Jesper Cockx:
  Practical generic programming over a universe of native datatypes. Proc. ACM Program. Lang. 6(ICFP): 625-649 (2022)
• 
  Jesper Cockx, Orestis Melkonian, Lucas Escot, James Chapman, Ulf Norell:
  Reasonable Agda is correct Haskell: writing verified Haskell using agda2hs. Haskell 2022: 108-122
• 
  Jeff Smits, Toine Hartman, Jesper Cockx:
  Optimising First-Class Pattern Matching. SLE 2022: 74-83
• 
  Henning Basold, Jesper Cockx, Silvia Ghilezan:
  27th International Conference on Types for Proofs and Programs, TYPES 2021, June 14-18, 2021, Leiden, The Netherlands (Virtual Conference). LIPIcs 239, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-254-9 [contents]
• 2021
• 
  Jesper Cockx, Nicolas Tabareau, Théo Winterhalter:
  The taming of the rew: a type theory with computational assumptions. Proc. ACM Program. Lang. 5(POPL): 1-29 (2021)
• 
  Artjoms Sinkarovs, Jesper Cockx:
  Extracting the power of dependent types. GPCE 2021: 83-95
• 
  Artjoms Sinkarovs, Jesper Cockx:
  Choosing is Losing: How to combine the benefits of shallow and deep embeddings through reflection. CoRR abs/2105.10819 (2021)
• 2020
• 
  Andreas Abel, Jesper Cockx, Dominique Devriese, Amin Timany, Philip Wadler:
  Leibniz equality is isomorphic to Martin-Löf identity, parametrically. J. Funct. Program. 30: e17 (2020)
• 
  Jesper Cockx, Andreas Abel:
  Elaborating dependent (co)pattern matching: No pattern left behind. J. Funct. Program. 30: e2 (2020)
• 2019
• 
  Gaëtan Gilbert, Jesper Cockx, Matthieu Sozeau, Nicolas Tabareau:
  Definitional proof-irrelevance without K. Proc. ACM Program. Lang. 3(POPL): 3:1-3:28 (2019)
• 
  Jesper Cockx:
  Type Theory Unchained: Extending Agda with User-Defined Rewrite Rules. TYPES 2019: 2:1-2:27
• 2018
• 
  Jesper Cockx, Dominique Devriese:
  Proof-relevant unification: Dependent pattern matching with only the axioms of your type theory. J. Funct. Program. 28: e12 (2018)
• 
  Jesper Cockx, Andreas Abel:
  Elaborating dependent (co)pattern matching. Proc. ACM Program. Lang. 2(ICFP): 75:1-75:30 (2018)
• 2017
• 
  Jesper Cockx:
  Dependent Pattern Matching and Proof-Relevant Unification. Katholieke Universiteit Leuven, Belgium, 2017
• 
  Jesper Cockx, Dominique Devriese:
  Lifting proof-relevant unification to higher dimensions. CPP 2017: 173-181
• 
  Thomas Winant, Jesper Cockx, Dominique Devriese:
  Expressive and strongly type-safe code generation. PPDP 2017: 199-210
• 2016
• 
  Jesper Cockx, Dominique Devriese, Frank Piessens:
  Eliminating dependent pattern matching without K. J. Funct. Program. 26: e16 (2016)
• 
  Jesper Cockx, Dominique Devriese, Frank Piessens:
  Unifiers as equivalences: proof-relevant unification of dependently typed data. ICFP 2016: 270-283
• 2014
• 
  Jesper Cockx, Frank Piessens, Dominique Devriese:
  Overlapping and Order-Independent Patterns - Definitional Equality for All. ESOP 2014: 87-106
• 
  Jesper Cockx, Dominique Devriese, Frank Piessens:
  Pattern matching without K. ICFP 2014: 257-268