Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Gustavo Ospina, Renaud De Landtsheer |
Defining Parallel Local Search Procedures with Neighborhood Combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SN Comput. Sci. ![In: SN Comput. Sci. 3(3), pp. 231, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Ruifeng Xie, Zhenjiang Hu |
Generic recursive lens combinators and their calculation laws. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 913, pp. 113-137, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Viacheslav Wolfengagen, Larisa Y. Ismailova, Sergey Kosikov |
Cognitive technology to capture deep computational concepts with combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Syst. Res. ![In: Cogn. Syst. Res. 71, pp. 9-23, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Larisa Y. Ismailova, Viacheslav Wolfengagen, Sergey Kosikov |
Lambda-calculus, combinators and applicative computational technologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Syst. Res. ![In: Cogn. Syst. Res. 76, pp. 93-100, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Jamie Willis, Nicolas Wu |
Design patterns for parser combinators in scala. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCALA@ECOOP ![In: Scala@ECOOP 2022: 13th ACM SIGPLAN Scala Symposium, Berlin, Germany, 6 June 2022, pp. 9-21, 2022, ACM, 978-1-4503-9463-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Conor Hoekstra |
Combinatory logic and combinators in array languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARRAY@PLDI ![In: ARRAY '22: 8th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, San Diego CA USA, 13 June 2022, pp. 46-57, 2022, ACM, 978-1-4503-9269-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.00668, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Stephen Wolfram |
Combinators and the Story of Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2102.09658, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Dmitry Kosarev, Dmitry Boulytchev |
Generic Programming with Combinators and Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.01250, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Stephen Wolfram |
A Bibliography of Combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.11729, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Stephen Wolfram |
Combinators: A Centennial View. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.12811, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Kristoffer Just Arndal Andersen, Ilya Sergey |
Protocol combinators for modeling, testing, and execution of distributed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 31, pp. e3, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UAI ![In: Proceedings of the Thirty-Seventh Conference on Uncertainty in Artificial Intelligence, UAI 2021, Virtual Event, 27-30 July 2021, pp. 1056-1066, 2021, AUAI Press. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Mahshid Shahmohammadian, Geoffrey Mainland |
Metaprogramming with combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: GPCE '21: Concepts and Experiences, Chicago, IL, USA, October 17 - 18, 2021, pp. 43-54, 2021, ACM, 978-1-4503-9112-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Guillaume Baudart, Martin Hirzel, Kiran Kate, Parikshit Ram, Avraham Shinnar, Jason Tsay |
Pipeline Combinators for Gradual AutoML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, NeurIPS 2021, December 6-14, 2021, virtual., pp. 19705-19718, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Gustavo Ospina, Renaud De Landtsheer |
Towards Distributed Local Search Through Neighborhood Combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICORES ![In: Proceedings of the 10th International Conference on Operations Research and Enterprise Systems, ICORES 2021, Online Streaming, February 4-6, 2021., pp. 248-255, 2021, SCITEPRESS, 978-989-758-485-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Jamie Willis, Nicolas Wu |
Design patterns for parser combinators (functional pearl). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, Virtual Event, Korea, August 26-27, 2021, pp. 71-84, 2021, ACM, 978-1-4503-8615-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Jamie Willis, Nicolas Wu, Matthew Pickering |
Staged selective parser combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 4(ICFP), pp. 120:1-120:30, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen |
Multiparty Session Programming with Global Protocol Combinators (Artifact). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Artifacts Ser. ![In: Dagstuhl Artifacts Ser. 6(2), pp. 18:1-18:2, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen |
Multiparty Session Programming with Global Protocol Combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2005.06333, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Marius Buliga |
Artificial chemistry experiments with chemlambda, lambda calculus, interaction combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2003.14332, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Marius Buliga |
Artificial life properties of directed interaction combinators vs. chemlambda. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2005.06060, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | J. Robin B. Cockett, Jean-Simon Pacaud Lemay |
Linearizing Combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2010.15490, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Marius Buliga |
Graph rewrites, from graphic lambda calculus, to chemlambda, to directed interaction combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2007.10288, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Andrew Polonsky |
Fixed point combinators as fixed points of higher-order fixed point generators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 16(3), 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | José Nuno Macedo, João Saraiva |
Expressing disambiguation filters as combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30 - April 3, 2020, pp. 1348-1351, 2020, ACM, 978-1-4503-6866-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen |
Multiparty Session Programming With Global Protocol Combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 34th European Conference on Object-Oriented Programming, ECOOP 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference)., pp. 9:1-9:30, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-154-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Larisa Y. Ismailova, Viacheslav Wolfengagen, Sergey Kosikov |
Equalities between Combinators to Evaluate Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BICA*AI ![In: Proceedings of the 2020 Annual International Conference on Brain-Inspired Cognitive Architectures for Artificial Intelligence, BICA 2020, Eleventh Annual Meeting of the BICA Society, November 10-15, 2020, Virtual Event / Natal, Rio Grande do Norte, Brazil., pp. 332-340, 2020, Elsevier. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin |
Decidable weighted expressions with Presburger combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 106, pp. 1-22, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 29(5), pp. 831-880, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Kristoffer Just Arndal Andersen, Ilya Sergey |
Distributed Protocol Combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages - 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings, pp. 169-186, 2019, Springer, 978-3-030-05997-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Pieter W. M. Koopman, Rinus Plasmeijer |
A new view on parser combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: IFL '19: Implementation and Application of Functional Languages, Singapore, September 25-27, 2019., pp. 6:1-6:11, 2019, ACM, 978-1-4503-7562-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Sebastian Beschke |
Exploring Graph-Algebraic CCG Combinators for Syntactic-Semantic AMR Parsing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RANLP ![In: Proceedings of the International Conference on Recent Advances in Natural Language Processing, RANLP 2019, Varna, Bulgaria, September 2-4, 2019, pp. 112-121, 2019, INCOMA Ltd., 978-954-452-055-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Marcel Weiher, Robert Hirschfeld |
Storage combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Onward! ![In: Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2019, Athens, Greece, October 23-24, 2019., pp. 111-127, 2019, ACM, 978-1-4503-6995-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Rijnard van Tonder, Claire Le Goues |
Lightweight multi-language syntax transformation with parser parser combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26, 2019., pp. 363-378, 2019, ACM, 978-1-4503-6712-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Nachiappan Valliappan, Alejandro Russo |
Exponential Elimination for Bicartesian Closed Categorical Combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, PPDP 2019, Porto, Portugal, October 7-9, 2019., pp. 20:1-20:13, 2019, ACM, 978-1-4503-7249-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Florian Rabe 0001, Yasmine Sharoda |
Diagram Combinators in MMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - 12th International Conference, CICM 2019, Prague, Czech Republic, July 8-12, 2019, Proceedings, pp. 211-226, 2019, Springer, 978-3-030-23249-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Alberto Ciaffaglione, Furio Honsell, Marina Lenisa, Ivan Scagnetto |
Linear lambda-calculus and Reversible Automatic Combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1806.06759, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Jacques Carette, Russell O'Connor |
Theory Presentation Combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1812.08079, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1811.05965, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Gabrielle Anderson, David J. Pym |
Trust domains in system models: algebra, logic, utility, and combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 28(4), pp. 665-703, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Jan Kurs, Jan Vraný, Mohammad Ghafari, Mircea Lungu, Oscar Nierstrasz |
Efficient parsing with parser combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 161, pp. 57-88, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Ekaterina Verbitskaia, Ilya Kirillov, Ilya Nozkin, Semyon V. Grigorev |
Parser combinators for context-free path querying. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCALA@ICFP ![In: Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, SCALA@ICFP 2018, St. Louis, MO, USA, September 28, 2018, pp. 13-23, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | L. Thomas van Binsbergen, Elizabeth Scott, Adrian Johnstone |
GLL parsing with flexible combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLE ![In: Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2018, Boston, MA, USA, November 05-06, 2018, pp. 16-28, 2018, ACM, 978-1-4503-6029-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Kazutaka Matsuda, Meng Wang 0002 |
HOBiT: Programming Lenses Without Using Lens Combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, pp. 31-59, 2018, Springer, 978-3-319-89883-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Anthony Anjorin, Hsiang-Shang Ko |
Towards a visual editor for lens combinators (extended abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming, Nice, France, April 09-12, 2018, pp. 33-35, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Didier Verna |
Method Combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELS ![In: Proceedings of the 11th European Lisp Symposium (ELS 2018), Marbella, Spain, April 16-17, 2018., pp. 32-41, 2018, ELSAA, 978-2-9557474-2-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LREC ![In: Proceedings of the Eleventh International Conference on Language Resources and Evaluation, LREC 2018, Miyazaki, Japan, May 7-12, 2018., 2018, European Language Resources Association (ELRA). The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Clark C. Evans, Kyrylo Simonov |
Query Combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1702.08409, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Lucius Gregory Meredith, Michael Stay |
Name-free combinators for concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1703.07054, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin |
Decidable Weighted Expressions with Presburger Combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1706.08855, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Max S. New, Burke Fetscher, Robert Bruce Findler, Jay A. McCarthy |
Fair enumeration combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 27, pp. e19, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 2017 ACM International Conference on Management of Data, SIGMOD Conference 2017, Chicago, IL, USA, May 14-19, 2017, pp. 1555-1569, 2017, ACM, 978-1-4503-4197-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin |
Decidable Weighted Expressions with Presburger Combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 243-256, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMIA ![In: AMIA 2017, American Medical Informatics Association Annual Symposium, Washington, DC, USA, November 4-8, 2017, 2017, AMIA. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Anastasia Izmaylova, Ali Afroozeh, Tijs van der Storm |
Practical, general parser combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2016, St. Petersburg, FL, USA, January 20 - 22, 2016, pp. 1-12, 2016, ACM, 978-1-4503-4097-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Zhen You, Jinyun Xue |
Orchestration Combinators in Apla+ Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers, pp. 3-14, 2016, 978-3-319-57707-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Laurent Michel, Daniel Fontaine |
Model Combinators in the Scheduling Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAIM ![In: International Symposium on Artificial Intelligence and Mathematics, ISAIM 2016, Fort Lauderdale, Florida, USA, January 4-6, 2016., 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Jan Kurs, Jan Vraný, Mohammad Ghafari, Mircea Lungu, Oscar Nierstrasz |
Optimizing Parser Combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWST ![In: Proceedings of the 11th edition of the International Workshop on Smalltalk Technologies, IWST 2016, Prague, Czech Republic, August 23-24, 2016, pp. 1, 2016, ACM, 978-1-4503-4524-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 50(8s), pp. 49-62, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Paul Tarau |
A Logic Programming Playground for Lambda Terms, Combinators, Types and Tree-based Arithmetic Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1507.06944, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
20 | Dmitry Boulytchev |
Combinators and type-driven transformers in Objective Caml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 114, pp. 57-73, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan |
Combinators for impure yet hygienic code generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 112, pp. 120-144, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Daniele Canavese, Emanuele Cesena, Rachid Ouchary, Marco Pedicini, Luca Roversi |
Light combinators for finite fields arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 111, pp. 365-394, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Paul Tarau |
On a uniform representation of combinators, arithmetic, lambda terms and types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015, pp. 244-255, 2015, ACM, 978-1-4503-3516-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Geoffroy Couprie |
Nom, A Byte oriented, streaming, Zero copy, Parser Combinators Library in Rust. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Security and Privacy Workshops ![In: 2015 IEEE Symposium on Security and Privacy Workshops, SPW 2015, San Jose, CA, USA, May 21-22, 2015, pp. 142-148, 2015, IEEE Computer Society, 978-1-4799-9933-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Pierre Genevès, Alan Schmitt |
Expressive Logical Combinators for Free. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, pp. 311-317, 2015, AAAI Press, 978-1-57735-738-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
20 | Marco Bellia, M. Eugenia Occhiuto |
DNA Tiles, Wang Tiles and Combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 133(2-3), pp. 105-121, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Rajeev Alur, Adam Freilich, Mukund Raghothaman |
Regular Combinators for String Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1402.3021, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
20 | Daniel Gebler, Simone Tini |
Fixed-point Characterization of Compositionality Properties of Probabilistic Processes Combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 21st International Workshop on Expressiveness in Concurrency, EXPRESS 2014, and 11th Workshop on Structural Operational Semantics, SOS 2014, Rome, Italy, 1st September 2014., pp. 63-78, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Anton Podkopaev, Dmitri Boulytchev |
Polynomial-Time Optimal Pretty-Printing Combinators with Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics - 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers, pp. 257-265, 2014, Springer, 978-3-662-46822-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Hugo Pacheco 0001, Zhenjiang Hu, Sebastian Fischer 0001 |
Monadic combinators for "Putback" style bidirectional programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA, pp. 39-50, 2014, ACM, 978-1-4503-2619-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan |
Combinators for impure yet hygienic code generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA, pp. 3-14, 2014, ACM, 978-1-4503-2619-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Manohar Jonnalagedda, Thierry Coppey, Sandro Stucki, Tiark Rompf, Martin Odersky |
Staged parser combinators for efficient data processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2014, part of SPLASH 2014, Portland, OR, USA, October 20-24, 2014, pp. 637-653, 2014, ACM, 978-1-4503-2585-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Eric Béguet, Manohar Jonnalagedda |
Accelerating parser combinators with macros. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCALA@ECOOP ![In: Proceedings of the Fifth Annual Scala Workshop, SCALA@ECOOP 2014, Uppsala, Sweden, July 28-29, 2014, pp. 7-17, 2014, ACM, 978-1-4503-2868-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Rajeev Alur, Adam Freilich, Mukund Raghothaman |
Regular combinators for string transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL-LICS ![In: Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014, pp. 9:1-9:10, 2014, ACM, 978-1-4503-2886-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Alexey Potapov, Sergey Rodionov |
Universal Induction with Varying Sets of Combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1306.0095, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
20 | Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey |
Search combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 18(2), pp. 269-305, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2013, part of SPLASH 2013, Indianapolis, IN, USA, October 26-31, 2013, pp. 183-202, 2013, ACM, 978-1-4503-2374-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Marco Bellia, M. Eugenia Occhiuto |
DNA Tiles, Wang Tiles and Combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CS&P ![In: Proceedings of the 22nd International Workshop on Concurrency, Specification and Programming, Warsaw, Poland, pp. 1-14, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Tenth International Conference on Information Technology: New Generations, ITNG 2013, 15-17 April, 2013, Las Vegas, Nevada, USA, pp. 241-246, 2013, IEEE Computer Society, 978-0-7695-4967-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Daniel Kröni, Raphael Schweizer |
Parsing graphs: applying parser combinators to graph traversals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCALA@ECOOP ![In: Proceedings of the 4th Workshop on Scala, SCALA@ECOOP 2013, Montpellier, France, July 2, 2013, pp. 7:1-7:4, 2013, ACM, 978-1-4503-2064-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Alexey Potapov, Sergey Rodionov |
Universal Induction with Varying Sets of Combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGI ![In: Artificial General Intelligence - 6th International Conference, AGI 2013, Beijing, China, July 31 - August 3, 2013 Proceedings, pp. 88-97, 2013, Springer, 978-3-642-39520-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Max Rottenkolber |
Lazy Signal Combinators in Common Lisp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELS ![In: Proceedings of ELS 2013 - 6th European Lisp Symposium, Madrid, Spain, June 3-4, 2013., pp. 60-62, 2013, ELSAA. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
20 | Daniel Fontaine, Laurent Michel, Pascal Van Hentenryck |
Model Combinators for Hybrid Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings, pp. 299-314, 2013, Springer, 978-3-642-40626-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey |
Search Combinators ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1203.1095, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
20 | Jacques Carette, Russell O'Connor |
Theory Presentation Combinators ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1204.0053, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
20 | Damiano Mazza, Neil J. Ross |
Full Abstraction for Set-Based Models of the Symmetric Interaction Combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures - 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings, pp. 316-330, 2012, Springer, 978-3-642-28728-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Christian Höner zu Siederdissen |
Sneaking around concatMap: efficient combinators for dynamic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: ACM SIGPLAN International Conference on Functional Programming, ICFP'12, Copenhagen, Denmark, September 9-15, 2012, pp. 215-226, 2012, ACM, 978-1-4503-1054-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey |
An Introduction to Search Combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation, 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers, pp. 2-16, 2012, Springer, 978-3-642-38196-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Jacques Carette, Russell O'Connor |
Theory Presentation Combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC/MKM/Calculemus ![In: Intelligent Computer Mathematics - 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings, pp. 202-215, 2012, Springer, 978-3-642-31373-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Peter D. Mosses |
VDM semantics of programming languages: combinators and monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 23(2), pp. 221-238, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 21(1), pp. 115-117, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Neil C. C. Brown |
Combinators for Message-Passing in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages - 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings, pp. 19-33, 2011, Springer, 978-3-642-18377-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Dominique Devriese, Frank Piessens |
Explicitly Recursive Grammar Combinators - A Better Model for Shallow Parser DSLs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages - 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings, pp. 84-98, 2011, Springer, 978-3-642-18377-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Arif Wider |
Towards Combinators for Bidirectional Model Transformations in Scala. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLE ![In: Software Language Engineering - 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers, pp. 367-377, 2011, Springer, 978-3-642-28829-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Ki Yung Ahn, Tim Sheard |
A hierarchy of mendler style recursion combinators: taming inductive datatypes with negative occurrences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, ICFP 2011, Tokyo, Japan, September 19-21, 2011, pp. 234-246, 2011, ACM, 978-1-4503-0865-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey |
Search Combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings, pp. 774-788, 2011, Springer, 978-3-642-23785-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Maximilian C. Bolingbroke, Simon L. Peyton Jones, Dimitrios Vytiniotis |
Termination combinators forever. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, Haskell 2011, Tokyo, Japan, 22 September 2011, pp. 23-34, 2011, ACM, 978-1-4503-0860-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Alasdair J. Anderson |
Analysis of musical structures : an approach utilising monadic parser combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2011 |
RDF |
|