The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for gadts with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2005-2008 (15) 2009-2015 (15) 2016-2022 (12)
Publication types (Num. hits)
article(8) inproceedings(34)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 61 occurrences of 42 keywords

Results
Found 42 publication records. Showing 42 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
237Patricia Johann, Neil Ghani Foundations for structured programming with GADTs. Search on Bibsonomy POPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF program fusion, GADTs, initial algebra semantics
100Henrik Nilsson Dynamic optimization for functional reactive programming using generalized algebraic data types. Search on Bibsonomy ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF DSEL, FRP, Yampa, synchronous dataflow languages, functional programming, domain-specific languages, Haskell, reactive programming, GADT, combinator library, arrows
88Ki Yung Ahn, Tim Sheard Shared subtypes: subtyping recursive parametrized algebraic data types. Search on Bibsonomy Haskell The full citation details ... 2008 DBLP  DOI  BibTeX  RDF parametrized types, sharing representation, subtype, subtyping, recursive types, gadts, datatypes, algebraic data types
78Tom Schrijvers, Simon L. Peyton Jones, Martin Sulzmann, Dimitrios Vytiniotis Complete and decidable type inference for GADTs. Search on Bibsonomy ICFP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Haskell, type inference, GADTs
69Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn Simple unification-based type inference for GADTs. Search on Bibsonomy ICFP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF type inference, generalized algebraic data types
60Andrew Kennedy, Claudio V. Russo Generalized algebraic data types and object-oriented programming. Search on Bibsonomy OOPSLA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF constraints, generics, generalized algebraic data types
59Georgios Karachalias, Tom Schrijvers, Dimitrios Vytiniotis, Simon L. Peyton Jones GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness. Search on Bibsonomy ICFP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
48Chuan-Kai Lin, Tim Sheard Pointwise generalized algebraic data types. Search on Bibsonomy TLDI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF pointwise baseline, pointwise unification, pointwise unifier, gadts
40Stefan Monnier, David Haguenauer Singleton types here, singleton types there, singleton types everywhere. Search on Bibsonomy PLPV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF dependent types, certified compilation, singleton types
40Louis-Julien Guillemette, Stefan Monnier A type-preserving closure conversion in haskell. Search on Bibsonomy Haskell The full citation details ... 2007 DBLP  DOI  BibTeX  RDF compilation, higher-order abstract syntax, typed assembly language, de bruijn
40James McKinna Why dependent types matter. Search on Bibsonomy POPL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29Patricia Johann, Pierre Cagne How Functorial Are (Deep) GADTs? Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Patricia Johann, Pierre Cagne Characterizing Functions Mappable over GADTs. Search on Bibsonomy APLAS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Patricia Johann, Enrico Ghiorzi (Deep) induction rules for GADTs. Search on Bibsonomy CPP The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Patricia Johann, Enrico Ghiorzi, Daniel Jeffries GADTs, Functoriality, Parametricity: Pick Two. Search on Bibsonomy LSFA The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
29Patricia Johann, Enrico Ghiorzi, Daniel Jeffries (Deep) Induction Rules for GADTs. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
29Patricia Johann, Enrico Ghiorzi, Daniel Jeffries Parametricity for Nested Types and GADTs. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
29Patricia Johann, Enrico Ghiorzi Parametricity for Nested Types and GADTs. Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
29Joris Burgers, Jurriaan Hage, Alejandro Serrano 0001 Heuristics-based Type Error Diagnosis for Haskell: The case of GADTs and local reasoning. Search on Bibsonomy IFL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
29Timothy A. K. Zakian, Trevor L. McDonell, Matteo Cimini, Ryan R. Newton Ghostbuster: A tool for simplifying and converting GADTs. Search on Bibsonomy J. Funct. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Gabriela Moreira, Cristiano D. Vasconcellos, Rodrigo Geraldo Ribeiro Type inference for GADTs, outsidein and anti-unification. Search on Bibsonomy SBLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Sheng Chen 0008, Martin Erwig Principal type inference for GADTs. Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
29Trevor L. McDonell, Timothy A. K. Zakian, Matteo Cimini, Ryan R. Newton Ghostbuster: a tool for simplifying and converting GADTs. Search on Bibsonomy ICFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
29Jacques Garrigue, Jacques Le Normand GADTs and Exhaustiveness: Looking for the Impossible. Search on Bibsonomy ML Family/OCaml The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
29Adelaine Gelain, Cristiano D. Vasconcellos, Carlos Camarão 0001, Rodrigo Geraldo Ribeiro Type Inference for GADTs and Anti-unification. Search on Bibsonomy SBLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
29Gabriel Scherer, Didier Rémy GADTs meet subtyping Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
29Jacques Garrigue, Didier Rémy Ambivalent Types for Principal Type Inference with GADTs. Search on Bibsonomy APLAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
29Gabriel Scherer, Didier Rémy GADTs Meet Subtyping. Search on Bibsonomy ESOP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
29Paolo G. Giarrusso Open GADTs and declaration-site variance: a problem statement. Search on Bibsonomy SCALA@ECOOP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
29Makoto Hamana, Marcelo P. Fiore A foundation for GADTs and inductive families: dependent polynomial functor approach. Search on Bibsonomy WGP@ICFP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
29Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra A lean specification for GADTs: system F with first-class equality proofs. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
29Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra A Leaner Specification for GADTs. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2008 DBLP  BibTeX  RDF
28Vincent Simonet, François Pottier A constraint-based approach to guarded algebraic data types. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF GADTs, Generalized algebraic data types, constraint-based type inference
20Julien Brunel, Damien Doligez, René Rydhof Hansen, Julia L. Lawall, Gilles Muller A foundation for flow-based program matching: using temporal logic and model checking. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF program matching, model checking, program transformation, ctl, bug finding
20Tom Schrijvers, Louis-Julien Guillemette, Stefan Monnier Type invariants for Haskell. Search on Bibsonomy PLPV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF type families, type functions, haskell, type checking
20Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh, Johan Jeuring Generic programming with fixed points for mutually recursive datatypes. Search on Bibsonomy ICFP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF mutually recursive datatypes, haskell, fixed points, datatype-generic programming
20Fritz Henglein Generic discrimination: sorting and paritioning unshared data in linear time. Search on Bibsonomy ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF multiset discrimination, total preorder, partitioning, generic, sorting, functional, equivalence, discrimination, discriminator, order
20Louis-Julien Guillemette, Stefan Monnier A type-preserving compiler in Haskell. Search on Bibsonomy ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF compilation, higher-order abstract syntax, typed assembly language, de Bruijn
20Tom Schrijvers, Simon L. Peyton Jones, Manuel M. T. Chakravarty, Martin Sulzmann Type checking with open type functions. Search on Bibsonomy ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF type families, type functions, Haskell, type checking
20Don Syme, Gregory Neverov, James Margetson Extensible pattern matching via a lightweight language extension. Search on Bibsonomy ICFP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF F#, functional programming, pattern matching, ML
20Burak Emir, Andrew Kennedy, Claudio V. Russo, Dachuan Yu Variance and Generalized Constraints for C# Generics. Search on Bibsonomy ECOOP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
20Frederik Eaton Statically typed linear algebra in Haskell. Search on Bibsonomy Haskell The full citation details ... 2006 DBLP  DOI  BibTeX  RDF higher-rank polymorphism, template Haskell, linear algebra, staging, existential types
Displaying result #1 - #42 of 42 (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