Search results for "data-constructors"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
41	Bharat Jayaraman, Gopal Gupta 0001	EqL: The Language and Its Implementation.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	conditional rules, general-purpose language, EqL, pattern-directed rules, data-constructors, basic values, equation solving, deferred evaluation, sequential implementation, compile-time flattening, run-time equation-delaying, last-equation optimization, logic programming, functional programming, functional programming, nondeterminism, high level languages, mathematics computing, equations, logic programming languages, computational paradigm, logical variables
24	Nicolas Chataing, Stephen Dolan, Gabriel Scherer, Jeremy Yallop	Unboxed Data Constructors: Or, How cpp Decides a Halting Problem.	Proc. ACM Program. Lang.	2024	DBLP DOI BibTeX RDF
24	Nicolas Chataing, Stephen Dolan, Gabriel Scherer, Jeremy Yallop	Unboxed data constructors - or, how cpp decides a halting problem.	CoRR	2023	DBLP DOI BibTeX RDF
24	Matthias Jarke, Volker Linnemann, Joachim W. Schmidt	Data Constructors: On the Integration of Rules and Relations.	VLDB	1985	DBLP BibTeX RDF
23	Andres Löh, Ralf Hinze	Open data types and open functions.	PPDP	2006	DBLP DOI BibTeX RDF	extensible data types, extensible exceptions, extensible functions, mutually recursive modules, functional programming, Haskell, generic programming, expression problem
13	Michael Baldamus, Joachim Parrow, Björn Victor	A Fully Abstract Encoding of the pi-Calculus with Data Terms.	ICALP	2005	DBLP DOI BibTeX RDF
12	Thomas W. Reps	Undecidability of context-sensitive data-independence analysis.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	?, context-sensitive program-analysis, graph-reachability problem, linear matche-parenthesis language, structure-transmitted data-dependence, dependence analysis, control-flow analysis, set constraints, set-based analysis
12	Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda	A new generic scheme for functional logic programming with constraints.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	Logic programming, Constraints, Functional programming
12	Jed Liu, Andrew C. Myers	JMatch: Iterable Abstract Pattern Matching for Java.	PADL	2003	DBLP DOI BibTeX RDF
12	Janis Voigtländer	Concatenate, reverse and map vanish for free.	ICFP	2002	DBLP DOI BibTeX RDF	list abstraction, rank-2 types, shortcut deforestation, the concatenate vanishes, theorems for free, program transformation, denotational semantics, combinators, parametricity, correctness proofs
11	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
11	Jacques Carette, Oleg Kiselyov, Chung-chieh Shan	Finally Tagless, Partially Evaluated.	APLAS	2007	DBLP DOI BibTeX RDF
11	Yanhong A. Liu, Ning Li, Scott D. Stoller	Solving Regular Tree Grammar Based Constraints.	SAS	2001	DBLP DOI BibTeX RDF
11	Viera K. Proulx, Jeff Raab, Richard Rasala	Objects from the beginning - with GUIs.	ITiCSE	2002	DBLP DOI BibTeX RDF	GUIs, CS1, objects
11	Puri Arenas-Sánchez, Francisco Javier López-Fraguas, Mario Rodrúguez-Arteljo	Embedding Multiset Constraints into a Lazy Functional Logic Language.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
11	Puri Arenas-Sánchez, Mario Rodríguez-Artalejo	A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types.	TAPSOFT	1997	DBLP DOI BibTeX RDF