Datatype Generics (researchr/bibliography/publications)

researchr

You are not signed in
Sign in
Sign up

Idris 2: Quantitative Type Theory in PracticeEdwin C. Brady. ECOOP 2021: [doi] [classification] 2 years ago

Fully Generic Programming over Closed Universes of Inductive-Recursive TypesDiehl, Larry. PhD thesis, Portland State University, 2017. [classification] 2 years ago

A family of universes for generic programmingAndjelkovic, Stevan. Master's thesis, 2011. [classification] 2 years ago

Generic constructors and eliminators from descriptions: type theory as a dependently typed internal DSLLarry Diehl, Tim Sheard. ICFP 2014: 3-14 [doi] [classification] 2 years ago

A General Formulation of Simultaneous Inductive-Recursive Definitions in Type TheoryPeter Dybjer. JSYML, 65(2):525-549, 2000. [classification] 2 years ago

Programming in Martin-Löf's type theoryNordström, Bengt, Petersson, Kent, Smith, Jan M. Volume 200 of Oxford University Press, 1990. [classification] 2 years ago

Intuitionistic type theoryPer Martin-Löf. Volume 1 of Studies in proof theory, Bibliopolis, 1984. [classification] 2 years ago

Generic Haskell: Practice and TheoryRalf Hinze, Johan Jeuring. ac 2003: 1-56 [doi] [classification] 2 years ago

Polyp - A Polytypic Programming LanguagePatrik Jansson, Johan Jeuring. POPL 1997: 470-482 [doi] [classification] 2 years ago

A Semantics for ShapeC. Barry Jay. SCP, 25(2-3):251-283, 1995. [classification] 2 years ago

Generic Functional Programming with Types and RelationsRichard S. Bird, Oege de Moor, Paul F. Hoogendijk. JFP, 6(1):1-28, 1996. [classification] 2 years ago

Automatic Synthesis of Typed Lambda-Programs on Term AlgebrasCorrado Böhm, Alessandro Berarducci. TCS, 39:135-154, 1985. [classification] 2 years ago

Elaborator reflection: extending Idris in IdrisDavid Christiansen, Edwin Brady. ICFP 2016: 284-297 [doi] [classification] 2 years ago

Containers: Constructing strictly positive typesMichael Abbott, Thorsten Altenkirch, Neil Ghani. TCS, 342(1):3-27, 2005. [doi] [classification] 2 years ago

Inductive-inductive definitionsFredrik Nordvall Forsberg. PhD thesis, Swansea University, UK, 2013. [doi] [classification] 2 years ago

Inductive-Inductive DefinitionsFredrik Nordvall Forsberg, Anton Setzer. csl 2010: 454-468 [doi] [classification] 2 years ago

A Finite Axiomatization of Inductive-Recursive DefinitionsPeter Dybjer, Anton Setzer. tlca 1999: 129-146 [doi] [classification] 2 years ago

Induction-recursion and initial algebrasPeter Dybjer, Anton Setzer. APAL, 124(1-3):1-47, 2003. [doi] [classification] 2 years ago

Generic Programming with Dependent TypesThorsten Altenkirch, Conor McBride, Peter Morris. ssdgp 2007: 209-257 [doi] [classification] 2 years ago

Universes for Generic Programs and Proofs in Dependent Type TheoryMarcin Benke, Peter Dybjer, Patrik Jansson. njc, 10(4):265-289, 2003. [classification] 2 years ago

Leveling up dependent types: generic programming over a predicative hierarchy of universesLarry Diehl, Tim Sheard. ICFP 2013: 49-60 [doi] [classification] 2 years ago

Elaborating Inductive DefinitionsPierre-Evariste Dagand, Conor McBride. 2012. [classification] 2 years ago

Polytypic programming in COQWendy Verbruggen, Edsko de Vries, Arthur Hughes. ICFP 2008: 49-60 [doi] [classification] 2 years ago

A cosmology of datatypes : reusability and dependent typesPierre-Évariste Dagand. PhD thesis, University of Strathclyde, Glasgow, UK, 2013. [doi] [classification] 2 years ago

Constructing Universes for Generic ProgrammingPeter W. J. Morris. PhD thesis, University of Nottingham, UK, 2007. [doi] [classification] 2 years ago

A Universe of Strictly Positive FamiliesPeter Morris, Thorsten Altenkirch, Neil Ghani. ijfcs, 20(1):83-107, 2009. [doi] [classification] 2 years ago

Template meta-programming for HaskellTim Sheard, Simon L. Peyton Jones. SIGPLAN, 37(12):60-75, 2002. [doi] [classification] 2 years ago

ppxlib's user manualJane Street Group, LLC. 2018. [classification] 2 years ago

C++ template metaprogramming: concepts, tools, and techniques from Boost and beyondAbrahams, David, Gurtovoy, Aleksey. Pearson Education, 2004. [classification] 2 years ago

The OCaml system release 4.11: Documentation and user's manualLeroy, Xavier, Doligez, Damien, Frisch, Alain, Garrigue, Jacques, R{\'e}my, Didier, Vouillon, J{\'e}r{\^o}me. 2020. [classification] 2 years ago

Haskell 98 language and libraries: the revised reportJones, Simon Peyton. Cambridge University Press, 2003. [classification] 2 years ago

The Rust Programming Language (Covers Rust 2018)Klabnik, Steve, Nichols, Carol. No Starch Press, 2019. [classification] 2 years ago

Generic programming with ornaments and dependent typesSijsling, Yorick. Master's thesis, 2016. [classification] 2 years ago

A Few Constructions on ConstructorsConor McBride, Healfdene Goguen, James McKinna. TYPES 2006: 186-200 [doi] [classification] 2 years ago

Everybody's Got To Be SomewhereConor McBride. Electronic Proceedings in Theoretical Computer Science, 275:53-69, Jul 2018. [doi] [classification] 2 years ago

Constructing quotient inductive-inductive typesAmbrus Kaposi, András Kovács, Thorsten Altenkirch. PACMPL, 3, 2019. [doi] [classification] 2 years ago

Arity-generic datatype-generic programmingStephanie Weirich, Chris Casinghino. plpv 2010: 15-26 [doi] [classification] 2 years ago

Proof-relevant unification: Dependent pattern matching with only the axioms of your type theoryJesper Cockx, Dominique Devriese. JFP, 28, 2018. [doi] [classification] 2 years ago

The gentle art of levitationJames Chapman, Pierre-Évariste Dagand, Conor McBride, Peter Morris. ICFP 2010: 3-14 [doi] [classification] 2 years ago

Parametricity and dependent typesJean-Philippe Bernardy, Patrik Jansson, Ross Paterson. ICFP 2010: 345-356 [doi] [classification] 2 years ago

Download

Maintained by

All Publications

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Recently Added

Recently Removed

New Entries

Researchr

Bibliography: Datatype Generics

Recently Added

Download

Maintained by

All Publications

Filter by Year [-]OR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by VenueOR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Recently Added

Recently Removed

New Entries

Researchr

Bibliography: Datatype Generics

Recently Added

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1