Search results for "gadts"

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