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