Search results for "catamorphism"

Found 10 publication records. Showing 10 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
61	Martin Erwig	Random Access to Abstract Data Types.	AMAST	2000	DBLP DOI BibTeX RDF	adt, graph algorithm, category theory, catamorphism
37	Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti	Verifying Catamorphism-Based Contracts using Constrained Horn Clauses.	CoRR	2022	DBLP DOI BibTeX RDF
37	Emanuele De Angelis, Maurizio Proietti, Fabio Fioravanti, Alberto Pettorossi	Verifying Catamorphism-Based Contracts using Constrained Horn Clauses.	Theory Pract. Log. Program.	2022	DBLP DOI BibTeX RDF
37	Simon Robillard	Catamorphism Generation and Fusion Using Coq.	SYNASC	2014	DBLP DOI BibTeX RDF
37	László Németh	Catamorphism-based program transformations for non-strict functional languages.		2000	RDF
37	Richard S. Bird, Oege de Moor	Solving Optimisation Problems with Catamorphism.	MPC	1992	DBLP DOI BibTeX RDF
28	Philippe Suter, Mirco Dotta, Viktor Kuncak	Decision procedures for algebraic data types with abstractions.	POPL	2010	DBLP DOI BibTeX RDF	data structure, decision procedure, algebraic data type, catamorphism
28	Ralf Lämmel, Ondrej Rypacek	The Expression Lemma.	MPC	2008	DBLP DOI BibTeX RDF	expression lemma, functional object, the composite design pattern, free monad, cofree comonad, fold, program calculation, expression problem, distributive law, catamorphism
28	Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano	Iterative-free program analysis.	ICFP	2003	DBLP DOI BibTeX RDF	SP term, dynamic programming, program analysis, register allocation, control flow graph, tree width, catamorphism
28	Geoffrey Washburn, Stephanie Weirich	Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism.	ICFP	2003	DBLP DOI BibTeX RDF	modal type system, parametricity, higher-order abstract syntax, parametric polymorphism, catamorphism

Displaying result #1 - #10 of 10 (100 per page; Change: )