Search results for "GADT"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
113	Chuan-Kai Lin, Tim Sheard	Pointwise generalized algebraic data types.	TLDI	2010	DBLP DOI BibTeX RDF	pointwise baseline, pointwise unification, pointwise unifier, gadts
104	Anton Faradjian, Johannes Gehrke, Philippe Bonnet	GADT: A Probability Space ADT for Representing and Querying the Physical World.	ICDE	2002	DBLP DOI BibTeX RDF	measurement data, gaussian data, probabilistic ADT's, object-relational datatypes, Data models, access methods, measure theory, sensor databases, probabilistic data
90	Theewara Vorakosit, Putchong Uthayopas	Generating an Efficient Dynamics Multicast Tree under Grid Environment.	PVM/MPI	2003	DBLP DOI BibTeX RDF
68	Patricia Johann, Neil Ghani	Foundations for structured programming with GADTs.	POPL	2008	DBLP DOI BibTeX RDF	program fusion, GADTs, initial algebra semantics
68	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
50	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
36	Aleksander Boruch-Gruszecki, Radoslaw Wasko, Yichen Xu, Lionel Parreaux	A case for DOT: theoretical foundations for objects with pattern matching and GADT-style reasoning.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
36	Aleksander Boruch-Gruszecki, Radoslaw Wasko, Yichen Xu, Lionel Parreaux	A case for DOT: Theoretical Foundations for Objects With Pattern Matching and GADT-style Reasoning.	CoRR	2022	DBLP DOI BibTeX RDF
36	Yichen Xu, Aleksander Boruch-Gruszecki, Lionel Parreaux	Implementing path-dependent GADT reasoning for Scala 3.	SCALA@SPLASH	2021	DBLP DOI BibTeX RDF
36	Lionel Parreaux, Aleksander Boruch-Gruszecki, Paolo G. Giarrusso	Towards improved GADT reasoning in Scala.	SCALA@ECOOP	2019	DBLP DOI BibTeX RDF
36	Gabriel Scherer, Didier Rémy	GADT meet Subtyping	CoRR	2012	DBLP BibTeX RDF
27	Arthur I. Baars, S. Doaitse Swierstra, Marcos Viera	Typed transformations of typed abstract syntax.	TLDI	2009	DBLP DOI BibTeX RDF	typed transformations, type systems, meta-programming, gadt, common subexpression elimination
27	Paulo F. Silva 0001, José Nuno Oliveira	'Galculator': functional prototype of a Galois-connection based proof assistant.	PPDP	2008	DBLP DOI BibTeX RDF	point-free notation, haskell, DSL, Galois connections, proof assistant, GADT
27	Marcos Viera, S. Doaitse Swierstra, Eelco Lempsink	Haskell, do you read me?: constructing and composing efficient top-down parsers at runtime.	Haskell	2008	DBLP DOI BibTeX RDF	left-corner transform, typed abstract syntax, typed transformations, type systems, haskell, meta programming, gadt, parser combinators
27	Stephanie Weirich	RepLib: a library for derivable type classes.	Haskell	2006	DBLP DOI BibTeX RDF	representation types, type-indexed programming, GADT, datatype-generic programming
27	Tim Sheard	Putting curry-howard to work.	Haskell	2005	DBLP DOI BibTeX RDF	extensional kind system, logic, haskell, GADT, curry-howard isomorphism
23	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
23	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
23	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
23	Pengyi Yang, Zili Zhang 0001	Hybrid Methods to Select Informative Gene Sets in Microarray Data Classification.	Australian Conference on Artificial Intelligence	2007	DBLP DOI BibTeX RDF