Search results for "combinators"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
89	Steffen Mazanek, Mark Minas	Graph Parser Combinators.	IFL	2007	DBLP DOI BibTeX RDF	graph parsing, functional programming, visual languages, parser combinators
89	Pascal Van Hentenryck, Laurent Michel, Liyuan Liu	Contraint-Based Combinators for Local Search.	Constraints An Int. J.	2005	DBLP DOI BibTeX RDF	constraints languange, logical and cardinality combinators, differential objects, first-class expressions, search procedure, local search, reification
82	Andreas Hamfelt, Jørgen Fischer Nilsson	Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes.	LOPSTR	1998	DBLP DOI BibTeX RDF	logic program schemata, logical combinators, synthesis by composition and specialization of schemas, inductive synthesis, metalogic program environment
80	Nobuko Yoshida	Minimality and Separation Results on Asynchronous Mobile Processes: Representability Theorems by Concurrent Combinators (Extended Abstract).	CONCUR	1998	DBLP DOI BibTeX RDF
73	J. Roger Hindley	Combinators and Lambda-Calculus.	Combinators and Functional Programming Languages	1985	DBLP DOI BibTeX RDF
73	Kohei Honda 0001, Nobuko Yoshida	Combinatory Representation of Mobile Processes.	POPL	1994	DBLP DOI BibTeX RDF
68	Pascal Van Hentenryck, Laurent Michel, Liyuan Liu	Constraint-Based Combinators for Local Search.	CP	2004	DBLP DOI BibTeX RDF
68	Arie van Deursen, Joost Visser 0001	Building Program Understanding Tools Using Visitor Combinators.	IWPC	2002	DBLP DOI BibTeX RDF	visitor design pattern, Program analysis, program comprehension, software visualization
68	Richard Statman	On the Word Problem for Combinators.	RTA	2000	DBLP DOI BibTeX RDF
65	Richard A. Frost, Rahmatullah Hafiz, Paul Callaghan	Parser Combinators for Ambiguous Left-Recursive Grammars.	PADL	2008	DBLP DOI BibTeX RDF	left recursion, natural-language parsing, functional programming, ambiguity, Parser combinators
65	Ralf Lämmel, Joost Visser 0001	Typed Combinators for Generic Traversal.	PADL	2002	DBLP DOI BibTeX RDF	program transformation, Genericity, combinators, traversal
65	Rafael Dueire Lins	A New Formula for the Execution of Categorial Combinators.	CADE	1986	DBLP DOI BibTeX RDF	Categorical Combinators, complexity, functional programming, lambda calculus
60	David Himmelstrup	Interactive debugging with GHCi.	Haskell	2006	DBLP DOI BibTeX RDF	interactive, debugging, Haskell, Haskell, breakpoints
56	Wolfgang Jeltsch	Generic record combinators with static type checking.	PPDP	2010	DBLP DOI BibTeX RDF	closed classes, higher-rank polymorphism, type equality, type families, type-level programming, type-level reification, generic programming, induction
56	J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt	Combinators for bi-directional tree transformations: a linguistic approach to the view update problem.	POPL	2005	DBLP DOI BibTeX RDF	bi-directional programming, XML, lenses, harmony, view update problem
56	Jørgen Villadsen	Combinators for Paraconsistent Attitudes.	LACL	2001	DBLP DOI BibTeX RDF
56	Christian Schulte 0001	Programming Deep Concurrent Constraint Combinators.	PADL	2000	DBLP DOI BibTeX RDF
56	Richard Statman	Effective Reduction and Conversion Strategies for Combinators.	RTA	1997	DBLP DOI BibTeX RDF
53	Guy Cousineau, Pierre-Louis Curien, Bernard J. Robinet (eds.)	Combinators and Functional Programming Languages, Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, Proceedings	Combinators and Functional Programming Languages	1986	DBLP DOI BibTeX RDF
53	Guy Cousineau, Pierre-Louis Curien, Michel Mauny, Ascánder Suárez	Combinateures, Catégoriques et Implémentation des Languages Fonctionnels.	Combinators and Functional Programming Languages	1985	DBLP DOI BibTeX RDF
53	Luca Cardelli	Amber.	Combinators and Functional Programming Languages	1985	DBLP DOI BibTeX RDF
53	Patrick Bellot, Bernard J. Robinet	Streams are not Dreams.	Combinators and Functional Programming Languages	1985	DBLP DOI BibTeX RDF
53	Luca Cardelli	The Amber Machine.	Combinators and Functional Programming Languages	1985	DBLP DOI BibTeX RDF
53	Joachim Lambek	Cartesian Closed Categories and Typed Lambda- calculi.	Combinators and Functional Programming Languages	1985	DBLP DOI BibTeX RDF
53	Gérard P. Huet	Cartesian closed Categories and Lambda- calculus.	Combinators and Functional Programming Languages	1985	DBLP DOI BibTeX RDF
53	Thierry Coquand	Sur l'Analogie entre les Propositions et les Types.	Combinators and Functional Programming Languages	1985	DBLP DOI BibTeX RDF
53	Simon L. Peyton Jones	An Introduction to Fully-Lazy Supercombinators.	Combinators and Functional Programming Languages	1985	DBLP DOI BibTeX RDF
48	Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman	iTasks: executable specifications of interactive work flow systems for the web.	ICFP	2007	DBLP DOI BibTeX RDF	iData, iTask, clean
48	Richard B. Kieburtz	Implementing Closed Domain-Specific Languages.	SAIG	2000	DBLP DOI BibTeX RDF
48	Jean Goubault-Larrecq	Conjunctive Types and SKInT.	TYPES	1998	DBLP DOI BibTeX RDF
48	Adolfo Piperno	A Compositive Abstraction Algorithm for Combinatory Logic.	TAPSOFT, Vol.2	1987	DBLP DOI BibTeX RDF	Functional programming, Compiler design, Evaluation techniques
46	Jerzy Karczmarczuk	Functional Approach to Texture Generation.	PADL	2002	DBLP DOI BibTeX RDF	noise, images, combinators, tesselations, Clean
46	N. Raja 0001, R. K. Shyamasundar	Combinatory Formaulations of Concurrent Languages.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	Quine-Bernays combinators, functional completeness
46	Mitchell Wand	Loops in Combinator-Based Compilers.	POPL	1983	DBLP DOI BibTeX RDF	combinators, loops
44	Steffen Mazanek, Mark Minas	Functional-Logic Graph Parser Combinators.	RTA	2008	DBLP DOI BibTeX RDF
44	Damiano Mazza	Edifices and Full Abstraction for the Symmetric Interaction Combinators.	TLCA	2007	DBLP DOI BibTeX RDF
44	Pawel T. Wojciechowski	Concurrency Combinators for Declarative Synchronization.	APLAS	2004	DBLP DOI BibTeX RDF
44	Gordon J. Pace	The Semantics of Verilog Using Transition System Combinators.	FMCAD	2000	DBLP DOI BibTeX RDF
44	David Stevens	Variable Substitution with Iconic Combinators.	MFCS	1993	DBLP DOI BibTeX RDF
44	Corrado Böhm, Adolfo Piperno	Surjectivity for Finite Sets of Combinators by Weak Reduction.	CSL	1987	DBLP DOI BibTeX RDF	Pure -calculus, combinatory algebras, surjectivity, discriminability or X-separability in -()-calculus
44	Patrick Bellot	GRAAL: A Functional Programming System with Uncurryfied Combinators and its Reduction Machine.	ESOP	1986	DBLP DOI BibTeX RDF
36	Malcolm Wallace	Partial Parsing: Combining Choice with Commitment.	IFL	2007	DBLP DOI BibTeX RDF
36	Glenn Bruns, Daniel S. Dantas, Michael Huth 0001	A simple and expressive semantic framework for policy composition in access control.	FMSE	2007	DBLP DOI BibTeX RDF	access-control policy languages, multi-valued logic, bilattices
36	Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman	An Introduction to iTasks: Defining Interactive Work Flows for the Web.	CEFP	2007	DBLP DOI BibTeX RDF
36	Lou Goble	Combinator Logics.	Stud Logica	2004	DBLP DOI BibTeX RDF	fusion, residuation, substructural logics, Relevant logics, combinatory logic
36	Paul A. Bailes, Colin J. M. Kemp	Formal Methods within a Totally Functional Approach to Programming.	10th Anniversary Colloquium of UNU/IIST	2002	DBLP DOI BibTeX RDF
36	Thierry Joly	The Finitely Generated Types of the lambda-Calculus.	TLCA	2001	DBLP DOI BibTeX RDF
36	Andrew Moran, David Sands 0001, Magnus Carlsson	Erratic Fudgets: A Semantic Theory for an Embedded Coordination Language.	COORDINATION	1999	DBLP DOI BibTeX RDF
36	Wil Dekkers, Martin W. Bunder, Henk Barendregt	Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus.	Arch. Math. Log.	1998	DBLP DOI BibTeX RDF	Mathematics Subject Classification:03B40
36	Pieter W. M. Koopman, Marinus J. Plasmeijer	Efficient Combinator Parsers.	IFL	1998	DBLP DOI BibTeX RDF
36	S. Mansoor Sarwar, S. J. Hahn, James A. Davis	Implementing functional languages on a combinator-based reduction machine.	ACM SIGPLAN Notices	1988	DBLP DOI BibTeX RDF	SASL, Secd
36	Paul Hudak, Eric Mohr	Graphinators and the Duality of SIMD and MIMD.	LISP and Functional Programming	1988	DBLP DOI BibTeX RDF
36	James A. Davis	A functional language architecture that supports fine-grain parallelism (extended abstract).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
33	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
33	James L. Caldwell	Moving Proofs-As-Programs into Practice.	ASE	1997	DBLP DOI BibTeX RDF	proofs-as-programs, constructive type theory, correct-by-construction programs, inductive proofs, Nuprl rewrite system, fixed-point combinators, untyped lambda calculus, specifications, partial evaluation, lambda calculus, hierarchical verifications
33	Pascal Fradet, Daniel Le Métayer	Compilation of Functional Languages by Program Transformation.	ACM Trans. Program. Lang. Syst.	1991	DBLP DOI BibTeX RDF	program transformation, continuations, combinators
32	Karthikeyan Bhargavan, Andrew D. Gordon 0001, Iman Narasamdya	Service Combinators for Farming Virtual Machines.	COORDINATION	2008	DBLP DOI BibTeX RDF
32	Karthikeyan Bhargavan, Andrew D. Gordon 0001, Iman Narasamdya	Service Combinators for Farming Virtual Machines.	TGC	2007	DBLP DOI BibTeX RDF
32	Ralf Lämmel	Scrap your boilerplate with XPath-like combinators.	POPL	2007	DBLP DOI BibTeX RDF	XML programming, generic functional programming
32	Peter D. Mosses	VDM Semantics of Programming Languages: Combinators and Monads.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
32	Philip Weaver, Garrin Kimmell, Nicolas Frisby, Perry Alexander	Constructing language processors with algebra combinators.	GPCE	2007	DBLP DOI BibTeX RDF	modular monadic semantics, meta-programming
32	Juan Fernández Ortiz, Jørgen Villadsen	Natural Language Processing Using Lexical and Logical Combinators.	ICLP	2006	DBLP DOI BibTeX RDF
32	Michael Norrish, Konrad Slind	Proof Pearl: Using Combinators to Manipulate let-Expressions in Proof.	TPHOLs	2005	DBLP DOI BibTeX RDF
32	Ricardo Massa Ferreira Lima, Rafael Dueire Lins, André L. M. Santos	A back-end for GHC based on categorical multi-combinators.	SAC	2004	DBLP DOI BibTeX RDF
32	Wolfram Kahl	Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators.	PADL	1999	DBLP DOI BibTeX RDF
32	Malcolm Wallace, Colin Runciman	Haskell and XML: Generic Combinators or Type-Based Translation?	ICFP	1999	DBLP DOI BibTeX RDF
32	Jan A. Bergstra, Inge Bethke, Alban Ponse	Process Algebra with Combinators.	CSL	1993	DBLP DOI BibTeX RDF	1991 Mathematics Subject Classification 69C20, 69M10, 03B15, 03B40
32	Leonidas Fegaras, Tim Sheard, David W. Stemple	Uniform Traversal Combinators: Definition, Use and Properties.	CADE	1992	DBLP DOI BibTeX RDF
32	Karl Meinke	Equational Specification of Abstract Types and Combinators.	CSL	1991	DBLP DOI BibTeX RDF
32	Richard Kennaway, M. Ronan Sleep	Director Strings as Combinators.	ACM Trans. Program. Lang. Syst.	1988	DBLP DOI BibTeX RDF
24	Bruno C. d. S. Oliveira, Tom Schrijvers, William R. Cook	EffectiveAdvice: disciplined advice with explicit effects.	AOSD	2010	DBLP DOI BibTeX RDF	AOP, interference, monads, parametricity, mixins
24	David Kitchin, Adrian Quark, William R. Cook, Jayadev Misra	The Orc Programming Language.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
24	Daniel Lincke, Patrik Jansson, Marcin Zalewski, Cezar Ionescu	Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in Haskell.	DSL	2009	DBLP DOI BibTeX RDF
24	Glenn Bruns, Michael Huth 0001	Access-Control Policies via Belnap Logic: Effective and Efficient Composition and Analysis.	CSF	2008	DBLP DOI BibTeX RDF	Belnap logic, access control, policy languages, policy analysis
24	Aaron Bohannon, J. Nathan Foster, Benjamin C. Pierce, Alexandre Pilkiewicz, Alan Schmitt	Boomerang: resourceful lenses for string data.	POPL	2008	DBLP DOI BibTeX RDF	bidirectional languages, regular string transducers, lenses, view update problem, regular types
24	S. Doaitse Swierstra	Combinator Parsing: A Short Tutorial.	LerNet ALFA Summer School	2008	DBLP DOI BibTeX RDF
24	Malcolm Dowse, Andrew Butterfield	Modelling deterministic concurrent I/O.	ICFP	2006	DBLP DOI BibTeX RDF	concurrency, determinism, effects, monads, I/O
24	Katalin Bimbó	Admissibility of Cut in LC with Fixed Point Combinator.	Stud Logica	2005	DBLP DOI BibTeX RDF	structurally free logics, fked point combinator, (multiple) cut rule, elimination theorem, substructural logics, non-classical logics, combinatory logic
24	Neil Ghani, Patricia Johann, Tarmo Uustalu, Varmo Vene	Monadic augment and generalised short cut fusion.	ICFP	2005	DBLP DOI BibTeX RDF	short cut fusion, monads, bind, build, augment
24	Morten Rhiger	Compiling Embedded Programs to Byte Code.	PADL	2002	DBLP DOI BibTeX RDF	domain-specific language, Just-in-time compilation, embedded language, OCaml
24	Ed Brinksma	On the Uniqueness of Fixpoints Modulo Observation Congruence.	CONCUR	1992	DBLP DOI BibTeX RDF
24	Edward Cherlin	Pure Functions in APL and J.	APL	1991	DBLP DOI BibTeX RDF	APL
24	John Field	On Laziness and Optimality in Lambda Interpreters: Tools for Specification and Analysis.	POPL	1990	DBLP DOI BibTeX RDF
24	Mitchell Wand	Semantics-Directed Machine Architecture.	POPL	1982	DBLP DOI BibTeX RDF
21	Paul Tarau	A Groupoid of Isomorphic Data Transformations.	Calculemus/MKM	2009	DBLP DOI BibTeX RDF	computational mathematics in Haskell, data type transformations, ranking/unranking, Gödel numberings, higher order combinators, hylomorphisms
21	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
21	Richard A. Frost, Rahmatullah Hafiz	A new top-down parsing algorithm to accommodate ambiguity and left recursion in polynomial time.	ACM SIGPLAN Notices	2006	DBLP DOI BibTeX RDF	left-recursion, top-down parsing, backtracking, memoization, parser combinators
21	Mayer Goldberg	A Variadic Extension of Curry's Fixed-Point Combinator.	High. Order Symb. Comput.	2005	DBLP DOI BibTeX RDF	fixed-point combinators, applicative order, variadic functions, Scheme, lambda-calculus, fixed points
21	Lee Spector, Jon Klein, Maarten Keijzer	The Push3 execution stack and the evolution of control.	GECCO	2005	DBLP DOI BibTeX RDF	reversing a list, stack-based genetic programming, sorting, recursion, iteration, combinators, exponentiation, push, parity, Fibonacci sequence, factorial
21	R. John M. Hughes, S. Doaitse Swierstra	Polish parsers, step by step.	ICFP	2003	DBLP DOI BibTeX RDF	GLR parsing, Polish representation, ambiguous grammars, online results, breadth-first search, parser combinators
21	Bryan Ford	Packrat parsing: : simple, powerful, lazy, linear time, functional pearl.	ICFP	2002	DBLP DOI BibTeX RDF	scannerless parsing, top-down parsing, Haskell, backtracking, memoization, lexical analysis, parser combinators
21	Rémi Douence, Pascal Fradet	A Systematic Study of Functional Language Implementations.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	compilers, program transformation, functional programming, combinators, abstract machines
21	Philip J. Koopman Jr., Peter Lee 0001, Daniel P. Siewiorek	Cache Behavior of Combinator Graph Reduction.	ACM Trans. Program. Lang. Syst.	1992	DBLP DOI BibTeX RDF	self-modifying code, combinators, abstract machine, graph reduction
21	Charles Consel, Olivier Danvy	From Interpreting to Compiling Binding Times.	ESOP	1990	DBLP DOI BibTeX RDF	partial evaluation, actions, combinators, self-application
21	Corrado Böhm	Functional Programming and Combinatory Algebras.	MFCS	1988	DBLP DOI BibTeX RDF	algebraic programming, combinatory algebras, total recursive mappings on data structures, combinators and -terms in normal form, Functional programming
21	David I. Bevan, Geoffrey Livingston Burn, R. J. Karia	Overview of a Parallel Reduction Machine Project.	PARLE (1)	1987	DBLP DOI BibTeX RDF	parallel reduction, concurrent distributed garbage collection, COBWEB, evaluation transformers, function languages, combinators
21	Chris Hankin, Geoffrey Livingston Burn, Simon L. Peyton Jones	A Safe Approach to Parallel Combinator Reduction (Extended Abstract).	ESOP	1986	DBLP DOI BibTeX RDF	Parallel Reduction, Director Strings, Functional Languages, Combinators, Strictness Analysis
20	James Koppel	Typed Multi-Language Strategy Combinators.	Eelco Visser Commemorative Symposium	2023	DBLP DOI BibTeX RDF
20	Sungsoo Han, Minseong Jang, Jeehoon Kang	ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators.	ASPLOS (2)	2023	DBLP DOI BibTeX RDF
20	Cecil Accetti, Rendong Ying, Peilin Liu	Structured Combinators for Efficient Graph Reduction.	IEEE Comput. Archit. Lett.	2022	DBLP DOI BibTeX RDF