Search results for "combinators"

Hits ?▲	Authors	Title	Venue	Year	Link
20	Gustavo Ospina, Renaud De Landtsheer	Defining Parallel Local Search Procedures with Neighborhood Combinators.	SN Comput. Sci.	2022	DBLP DOI BibTeX RDF
20	Ruifeng Xie, Zhenjiang Hu	Generic recursive lens combinators and their calculation laws.	Theor. Comput. Sci.	2022	DBLP DOI BibTeX RDF
20	Viacheslav Wolfengagen, Larisa Y. Ismailova, Sergey Kosikov	Cognitive technology to capture deep computational concepts with combinators.	Cogn. Syst. Res.	2022	DBLP DOI BibTeX RDF
20	Larisa Y. Ismailova, Viacheslav Wolfengagen, Sergey Kosikov	Lambda-calculus, combinators and applicative computational technologies.	Cogn. Syst. Res.	2022	DBLP DOI BibTeX RDF
20	Jamie Willis, Nicolas Wu	Design patterns for parser combinators in scala.	SCALA@ECOOP	2022	DBLP DOI BibTeX RDF
20	Conor Hoekstra	Combinatory logic and combinators in array languages.	ARRAY@PLDI	2022	DBLP DOI BibTeX RDF
20	Sam Stites, Heiko Zimmermann, Hao Wu 0020, Eli Sennesh, Jan-Willem van de Meent	Learning Proposals for Probabilistic Programs with Inference Combinators.	CoRR	2021	DBLP BibTeX RDF
20	Stephen Wolfram	Combinators and the Story of Computation.	CoRR	2021	DBLP BibTeX RDF
20	Dmitry Kosarev, Dmitry Boulytchev	Generic Programming with Combinators and Objects.	CoRR	2021	DBLP BibTeX RDF
20	Stephen Wolfram	A Bibliography of Combinators.	CoRR	2021	DBLP BibTeX RDF
20	Stephen Wolfram	Combinators: A Centennial View.	CoRR	2021	DBLP BibTeX RDF
20	Kristoffer Just Arndal Andersen, Ilya Sergey	Protocol combinators for modeling, testing, and execution of distributed systems.	J. Funct. Program.	2021	DBLP DOI BibTeX RDF
20	Sam Stites, Heiko Zimmermann, Hao Wu 0020, Eli Sennesh, Jan-Willem van de Meent	Learning proposals for probabilistic programs with inference combinators.	UAI	2021	DBLP BibTeX RDF
20	Mahshid Shahmohammadian, Geoffrey Mainland	Metaprogramming with combinators.	GPCE	2021	DBLP DOI BibTeX RDF
20	Guillaume Baudart, Martin Hirzel, Kiran Kate, Parikshit Ram, Avraham Shinnar, Jason Tsay	Pipeline Combinators for Gradual AutoML.	NeurIPS	2021	DBLP BibTeX RDF
20	Gustavo Ospina, Renaud De Landtsheer	Towards Distributed Local Search Through Neighborhood Combinators.	ICORES	2021	DBLP DOI BibTeX RDF
20	Jamie Willis, Nicolas Wu	Design patterns for parser combinators (functional pearl).	Haskell	2021	DBLP DOI BibTeX RDF
20	Jamie Willis, Nicolas Wu, Matthew Pickering	Staged selective parser combinators.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
20	Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen	Multiparty Session Programming with Global Protocol Combinators (Artifact).	Dagstuhl Artifacts Ser.	2020	DBLP DOI BibTeX RDF
20	Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen	Multiparty Session Programming with Global Protocol Combinators.	CoRR	2020	DBLP BibTeX RDF
20	Marius Buliga	Artificial chemistry experiments with chemlambda, lambda calculus, interaction combinators.	CoRR	2020	DBLP BibTeX RDF
20	Marius Buliga	Artificial life properties of directed interaction combinators vs. chemlambda.	CoRR	2020	DBLP BibTeX RDF
20	J. Robin B. Cockett, Jean-Simon Pacaud Lemay	Linearizing Combinators.	CoRR	2020	DBLP BibTeX RDF
20	Marius Buliga	Graph rewrites, from graphic lambda calculus, to chemlambda, to directed interaction combinators.	CoRR	2020	DBLP BibTeX RDF
20	Andrew Polonsky	Fixed point combinators as fixed points of higher-order fixed point generators.	Log. Methods Comput. Sci.	2020	DBLP BibTeX RDF
20	José Nuno Macedo, João Saraiva	Expressing disambiguation filters as combinators.	SAC	2020	DBLP DOI BibTeX RDF
20	Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen	Multiparty Session Programming With Global Protocol Combinators.	ECOOP	2020	DBLP DOI BibTeX RDF
20	Larisa Y. Ismailova, Viacheslav Wolfengagen, Sergey Kosikov	Equalities between Combinators to Evaluate Expressions.	BICA*AI	2020	DBLP DOI BibTeX RDF
20	Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin	Decidable weighted expressions with Presburger combinators.	J. Comput. Syst. Sci.	2019	DBLP DOI BibTeX RDF
20	Giulio Manzonetto, Andrew Polonsky, Alexis Saurin, Jakob Grue Simonsen	The fixed point property and a technique to harness double fixed point combinators.	J. Log. Comput.	2019	DBLP DOI BibTeX RDF
20	Kristoffer Just Arndal Andersen, Ilya Sergey	Distributed Protocol Combinators.	PADL	2019	DBLP DOI BibTeX RDF
20	Pieter W. M. Koopman, Rinus Plasmeijer	A new view on parser combinators.	IFL	2019	DBLP DOI BibTeX RDF
20	Sebastian Beschke	Exploring Graph-Algebraic CCG Combinators for Syntactic-Semantic AMR Parsing.	RANLP	2019	DBLP DOI BibTeX RDF
20	Marcel Weiher, Robert Hirschfeld	Storage combinators.	Onward!	2019	DBLP DOI BibTeX RDF
20	Rijnard van Tonder, Claire Le Goues	Lightweight multi-language syntax transformation with parser parser combinators.	PLDI	2019	DBLP DOI BibTeX RDF
20	Nachiappan Valliappan, Alejandro Russo	Exponential Elimination for Bicartesian Closed Categorical Combinators.	PPDP	2019	DBLP DOI BibTeX RDF
20	Florian Rabe 0001, Yasmine Sharoda	Diagram Combinators in MMT.	CICM	2019	DBLP DOI BibTeX RDF
20	Alberto Ciaffaglione, Furio Honsell, Marina Lenisa, Ivan Scagnetto	Linear lambda-calculus and Reversible Automatic Combinators.	CoRR	2018	DBLP BibTeX RDF
20	Jacques Carette, Russell O'Connor	Theory Presentation Combinators.	CoRR	2018	DBLP BibTeX RDF
20	Eli Sennesh, Adam Scibior, Hao Wu 0020, Jan-Willem van de Meent	Composing Modeling and Inference Operations with Probabilistic Program Combinators.	CoRR	2018	DBLP BibTeX RDF
20	Gabrielle Anderson, David J. Pym	Trust domains in system models: algebra, logic, utility, and combinators.	J. Log. Comput.	2018	DBLP DOI BibTeX RDF
20	Jan Kurs, Jan Vraný, Mohammad Ghafari, Mircea Lungu, Oscar Nierstrasz	Efficient parsing with parser combinators.	Sci. Comput. Program.	2018	DBLP DOI BibTeX RDF
20	Ekaterina Verbitskaia, Ilya Kirillov, Ilya Nozkin, Semyon V. Grigorev	Parser combinators for context-free path querying.	SCALA@ICFP	2018	DBLP DOI BibTeX RDF
20	L. Thomas van Binsbergen, Elizabeth Scott, Adrian Johnstone	GLL parsing with flexible combinators.	SLE	2018	DBLP DOI BibTeX RDF
20	Kazutaka Matsuda, Meng Wang 0002	HOBiT: Programming Lenses Without Using Lens Combinators.	ESOP	2018	DBLP DOI BibTeX RDF
20	Anthony Anjorin, Hsiang-Shang Ko	Towards a visual editor for lens combinators (extended abstract).	Programming	2018	DBLP DOI BibTeX RDF
20	Didier Verna	Method Combinators.	ELS	2018	DBLP DOI BibTeX RDF
20	Patrick Littell, Tom McCoy 0001, Na-Rae Han, Shruti Rijhwani, Zaid Sheikh, David R. Mortensen, Teruko Mitamura, Lori S. Levin	Parser combinators for Tigrinya and Oromo morphology.	LREC	2018	DBLP BibTeX RDF
20	Clark C. Evans, Kyrylo Simonov	Query Combinators.	CoRR	2017	DBLP BibTeX RDF
20	Lucius Gregory Meredith, Michael Stay	Name-free combinators for concurrency.	CoRR	2017	DBLP BibTeX RDF
20	Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin	Decidable Weighted Expressions with Presburger Combinators.	CoRR	2017	DBLP BibTeX RDF
20	Max S. New, Burke Fetscher, Robert Bruce Findler, Jay A. McCarthy	Fair enumeration combinators.	J. Funct. Program.	2017	DBLP DOI BibTeX RDF
20	Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon	Handling Environments in a Nested Relational Algebra with Combinators and an Implementation in a Verified Query Compiler.	SIGMOD Conference	2017	DBLP DOI BibTeX RDF
20	Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin	Decidable Weighted Expressions with Presburger Combinators.	FCT	2017	DBLP DOI BibTeX RDF
20	Clark C. Evans, Charles H. Tirrell, Oleksiy Golovko, Andrey Popp, Jason Simeone, Kyrylo Simonov	Visual Query Combinators for BioMedical Query Mediation.	AMIA	2017	DBLP BibTeX RDF
20	Anastasia Izmaylova, Ali Afroozeh, Tijs van der Storm	Practical, general parser combinators.	PEPM	2016	DBLP DOI BibTeX RDF
20	Zhen You, Jinyun Xue	Orchestration Combinators in Apla+ Language.	SOFL+MSVL	2016	DBLP DOI BibTeX RDF
20	Laurent Michel, Daniel Fontaine	Model Combinators in the Scheduling Domain.	ISAIM	2016	DBLP BibTeX RDF
20	Jan Kurs, Jan Vraný, Mohammad Ghafari, Mircea Lungu, Oscar Nierstrasz	Optimizing Parser Combinators.	IWST	2016	DBLP BibTeX RDF
20	J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt	POPL 2005: Combinators for Bi-Directional Tree Transformations: Linguistic Approach to the View Update Problem.	ACM SIGPLAN Notices	2015	DBLP DOI BibTeX RDF
20	Paul Tarau	A Logic Programming Playground for Lambda Terms, Combinators, Types and Tree-based Arithmetic Computations.	CoRR	2015	DBLP BibTeX RDF
20	Dmitry Boulytchev	Combinators and type-driven transformers in Objective Caml.	Sci. Comput. Program.	2015	DBLP DOI BibTeX RDF
20	Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan	Combinators for impure yet hygienic code generation.	Sci. Comput. Program.	2015	DBLP DOI BibTeX RDF
20	Daniele Canavese, Emanuele Cesena, Rachid Ouchary, Marco Pedicini, Luca Roversi	Light combinators for finite fields arithmetic.	Sci. Comput. Program.	2015	DBLP DOI BibTeX RDF
20	Paul Tarau	On a uniform representation of combinators, arithmetic, lambda terms and types.	PPDP	2015	DBLP DOI BibTeX RDF
20	Geoffroy Couprie	Nom, A Byte oriented, streaming, Zero copy, Parser Combinators Library in Rust.	IEEE Symposium on Security and Privacy Workshops	2015	DBLP DOI BibTeX RDF
20	Pierre Genevès, Alan Schmitt	Expressive Logical Combinators for Free.	IJCAI	2015	DBLP BibTeX RDF
20	Marco Bellia, M. Eugenia Occhiuto	DNA Tiles, Wang Tiles and Combinators.	Fundam. Informaticae	2014	DBLP DOI BibTeX RDF
20	Rajeev Alur, Adam Freilich, Mukund Raghothaman	Regular Combinators for String Transformations.	CoRR	2014	DBLP BibTeX RDF
20	Daniel Gebler, Simone Tini	Fixed-point Characterization of Compositionality Properties of Probabilistic Processes Combinators.	EXPRESS/SOS	2014	DBLP DOI BibTeX RDF
20	Anton Podkopaev, Dmitri Boulytchev	Polynomial-Time Optimal Pretty-Printing Combinators with Choice.	Ershov Memorial Conference	2014	DBLP DOI BibTeX RDF
20	Hugo Pacheco 0001, Zhenjiang Hu, Sebastian Fischer 0001	Monadic combinators for "Putback" style bidirectional programming.	PEPM	2014	DBLP DOI BibTeX RDF
20	Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan	Combinators for impure yet hygienic code generation.	PEPM	2014	DBLP DOI BibTeX RDF
20	Manohar Jonnalagedda, Thierry Coppey, Sandro Stucki, Tiark Rompf, Martin Odersky	Staged parser combinators for efficient data processing.	OOPSLA	2014	DBLP DOI BibTeX RDF
20	Eric Béguet, Manohar Jonnalagedda	Accelerating parser combinators with macros.	SCALA@ECOOP	2014	DBLP DOI BibTeX RDF
20	Rajeev Alur, Adam Freilich, Mukund Raghothaman	Regular combinators for string transformations.	CSL-LICS	2014	DBLP DOI BibTeX RDF
20	Alexey Potapov, Sergey Rodionov	Universal Induction with Varying Sets of Combinators.	CoRR	2013	DBLP BibTeX RDF
20	Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey	Search combinators.	Constraints An Int. J.	2013	DBLP DOI BibTeX RDF
20	Heather Miller, Philipp Haller, Eugene Burmako, Martin Odersky	Instant pickles: generating object-oriented pickler combinators for fast and extensible serialization.	OOPSLA	2013	DBLP DOI BibTeX RDF
20	Marco Bellia, M. Eugenia Occhiuto	DNA Tiles, Wang Tiles and Combinators.	CS&P	2013	DBLP BibTeX RDF
20	Matt Fenwick, Gerard Weatherby, Heidi J. C. Ellis, Michael R. Gryk	Parser Combinators: A Practical Application for Generating Parsers for NMR Data.	ITNG	2013	DBLP DOI BibTeX RDF
20	Daniel Kröni, Raphael Schweizer	Parsing graphs: applying parser combinators to graph traversals.	SCALA@ECOOP	2013	DBLP DOI BibTeX RDF
20	Alexey Potapov, Sergey Rodionov	Universal Induction with Varying Sets of Combinators.	AGI	2013	DBLP DOI BibTeX RDF
20	Max Rottenkolber	Lazy Signal Combinators in Common Lisp.	ELS	2013	DBLP BibTeX RDF
20	Daniel Fontaine, Laurent Michel, Pascal Van Hentenryck	Model Combinators for Hybrid Optimization.	CP	2013	DBLP DOI BibTeX RDF
20	Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey	Search Combinators	CoRR	2012	DBLP BibTeX RDF
20	Jacques Carette, Russell O'Connor	Theory Presentation Combinators	CoRR	2012	DBLP BibTeX RDF
20	Damiano Mazza, Neil J. Ross	Full Abstraction for Set-Based Models of the Symmetric Interaction Combinators.	FoSSaCS	2012	DBLP DOI BibTeX RDF
20	Christian Höner zu Siederdissen	Sneaking around concatMap: efficient combinators for dynamic programming.	ICFP	2012	DBLP DOI BibTeX RDF
20	Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey	An Introduction to Search Combinators.	LOPSTR	2012	DBLP DOI BibTeX RDF
20	Jacques Carette, Russell O'Connor	Theory Presentation Combinators.	AISC/MKM/Calculemus	2012	DBLP DOI BibTeX RDF
20	Peter D. Mosses	VDM semantics of programming languages: combinators and monads.	Formal Aspects Comput.	2011	DBLP DOI BibTeX RDF
20	Peter Gammie	Review: Lambda-Calculus and Combinators: An Introduction, Second Edition by J. R. Hindley and J. P. Seldin.	J. Funct. Program.	2011	DBLP DOI BibTeX RDF
20	Neil C. C. Brown	Combinators for Message-Passing in Haskell.	PADL	2011	DBLP DOI BibTeX RDF
20	Dominique Devriese, Frank Piessens	Explicitly Recursive Grammar Combinators - A Better Model for Shallow Parser DSLs.	PADL	2011	DBLP DOI BibTeX RDF
20	Arif Wider	Towards Combinators for Bidirectional Model Transformations in Scala.	SLE	2011	DBLP DOI BibTeX RDF
20	Ki Yung Ahn, Tim Sheard	A hierarchy of mendler style recursion combinators: taming inductive datatypes with negative occurrences.	ICFP	2011	DBLP DOI BibTeX RDF
20	Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey	Search Combinators.	CP	2011	DBLP DOI BibTeX RDF
20	Maximilian C. Bolingbroke, Simon L. Peyton Jones, Dimitrios Vytiniotis	Termination combinators forever.	Haskell	2011	DBLP DOI BibTeX RDF
20	Alasdair J. Anderson	Analysis of musical structures : an approach utilising monadic parser combinators.		2011	RDF