Search results for "Curry"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
108	María Alpuente, Santiago Escobar 0001, Salvador Lucas	UPV-CURRY: An Incremental CURRY Interpreter.	SOFSEM	1999	DBLP DOI BibTeX RDF
100	Michael Hanus, Frank Huch, Philipp Niederau	ObjectCurry: An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry.	IFL	2000	DBLP DOI BibTeX RDF
90	Emilio Jesús Gallego Arias, Julio Mariño	An overview of the Sloth2005 curry system: system description.	WCFLP	2005	DBLP DOI BibTeX RDF	constraint definitional trees, sloth, type classes, curry
90	Julio Mariño, José María Rey Poza	Adding constraints to curry via flat guards.	WCFLP	2005	DBLP DOI BibTeX RDF	definitional trees, sloth, constraints, type classes, curry
77	Bernd Braßel, Frank Huch	Translating curry to haskell system demo.	WCFLP	2005	DBLP DOI BibTeX RDF	compiler, haskell, translation, curry
73	Bernd Braßel, Michael Hanus, Marion Müller	High-Level Database Programming in Curry.	PADL	2008	DBLP DOI BibTeX RDF
73	Michael Hanus	A generic analysis environment for declarative programs.	WCFLP	2005	DBLP DOI BibTeX RDF	program analysis, programming environments, functional logic programming
69	Jair Minoro Abe, Kazumi Nakamatsu, Fábio Romeu de Carvalho	A Note on Monadic Curry System P1.	KES (2)	2009	DBLP DOI BibTeX RDF	Curry algebras, system P1, paracomplete logic, nonclassical logic, algebraic logic
69	Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu	Monadic Curry Algebras Q tau.	KES (2)	2007	DBLP DOI BibTeX RDF	Curry algebras, monadic algebras, paraconsistent annotated logic, algebraic logic
68	J. Guadalupe Ramos, Josep Silva, Germán Vidal	An offline partial evaluator for curry programs.	WCFLP	2005	DBLP DOI BibTeX RDF	offline partial evaluation, narrowing
60	Bernd Brassel, Frank Huch	The Kiel Curry System KiCS.	INAP/WLP	2007	DBLP DOI BibTeX RDF
60	J. Guadalupe Ramos, Josep Silva, Germán Vidal	An Embedded Language Approach to Router Specification in Curry.	SOFSEM	2004	DBLP DOI BibTeX RDF
60	Jean-Louis Krivine	The Curry-Howard Correspondence in Set Theory.	LICS	2000	DBLP DOI BibTeX RDF
56	Michael Hanus	Putting declarative programming into the web: translating curry to javascript.	PPDP	2007	DBLP DOI BibTeX RDF	user interfaces, javascript, web programming, functional logic programming, curry
56	Tim Sheard	Putting curry-howard to work.	Haskell	2005	DBLP DOI BibTeX RDF	extensional kind system, logic, haskell, GADT, curry-howard isomorphism
56	Sebastian Fischer 0001	A functional logic database library.	WCFLP	2005	DBLP DOI BibTeX RDF	database library, dynamic predicates, curry, persistent storage
52	Ken-etsu Fujita, Aleksy Schubert	Existential Type Systems with No Types in Terms.	TLCA	2009	DBLP DOI BibTeX RDF
52	Michael Hanus	A Functional Logic Programming Approach to Graphical User Interfaces.	PADL	2000	DBLP DOI BibTeX RDF
48	Iman Poernomo, John N. Crossley, Martin Wirsing	Programs, Proofs and Parametrized Specifications.	WADT	2001	DBLP DOI BibTeX RDF	Parametrized specifications, CASL, SML, Curry-Howard isomorphism
47	Wolfgang Lux	Adding Linear Constraints over Real Numbers to Curry.	FLOPS	2001	DBLP DOI BibTeX RDF
47	Elvira Albert, María Alpuente, Michael Hanus, Germán Vidal	A Partial Evaluation Framework for Curry Programs.	LPAR	1999	DBLP DOI BibTeX RDF
42	Kostia Chardonnet	Towards a Curry-Howard Correspondence for Quantum Computation. (Vers une correspondance de Curry-Howard pour le calcul quantique).		2023	RDF
42	Farzad Jafarrahmani	Fixpoints of Types in Linear Logic from a Curry-Howard-Lambek Perspective. (Points fixes de types en logique linéaire d'un point de vue Curry-Howard-Lambek).		2023	RDF
42	Michael Hanus	CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry.	PADL	2015	DBLP DOI BibTeX RDF
41	Flor Miriam Plaza del Arco, Amanda Cercas Curry, Alba Curry, Gavin Abercrombie, Dirk Hovy	Angry Men, Sad Women: Large Language Models Reflect Gendered Stereotypes in Emotion Attribution.	CoRR	2024	DBLP DOI BibTeX RDF
41	Flor Miriam Plaza del Arco, Alba Curry, Amanda Cercas Curry, Dirk Hovy	Emotion Analysis in NLP: Trends, Gaps and Roadmap for Future Directions.	CoRR	2024	DBLP DOI BibTeX RDF
41	Alba Curry, Amanda Cercas Curry	Computer says "No": The Case Against Empathetic Conversational AI.	ACL (Findings)	2023	DBLP DOI BibTeX RDF
41	Alba Curry, Amanda Cercas Curry	Computer says "No": The Case Against Empathetic Conversational AI.	CoRR	2022	DBLP DOI BibTeX RDF
39	Noam Zeilberger	Refinement types and computational duality.	PLPV	2009	DBLP DOI BibTeX RDF	duality, effects, intersection types, focusing, union types
39	Elvira Albert, Michael Hanus, Germán Vidal	A Practical Partial Evaluator for a Multi-Paradigm Declarative Language.	FLOPS	2001	DBLP DOI BibTeX RDF
39	Antonio Bucciarelli, Silvia De Lorenzis, Adolfo Piperno, Ivano Salvo	Some Computational Properties of Intersection Types.	LICS	1999	DBLP DOI BibTeX RDF
35	Neelakantan R. Krishnaswami	Focusing on pattern matching.	POPL	2009	DBLP DOI BibTeX RDF	curry-howard, pattern matching, type theory, focusing
35	Jan Christiansen, Sebastian Fischer 0001	EasyCheck - Test Data for Free.	FLOPS	2008	DBLP DOI BibTeX RDF	Encapsulated Search, Testing, Nondeterminism, Curry
35	Jean-Louis Krivine	A call-by-name lambda-calculus machine.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	Lambda-calculus machine, Control instruction, Curry-Howard correspondence
35	Atsushi Ohori	A proof theory for machine code.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Curry-Howard isomorphism
35	Gilles Barthe, Horatiu Cirstea, Claude Kirchner, Luigi Liquori	Pure patterns type systems.	POPL	2003	DBLP DOI BibTeX RDF	Curry-Howard, pure type systems, patterns, matching, logics, Lambda-calculus, rewriting
34	Murdoch Gabbay, Dominic P. Mulligan	One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations.	WoLLIC	2008	DBLP DOI BibTeX RDF
34	Maribel Fernández, Murdoch Gabbay	Curry-Style Types for Nominal Terms.	TYPES	2006	DBLP DOI BibTeX RDF	polymorphism, type inference, rewriting, binding
34	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
34	Sonia Estévez Martín, Rafael del Vado Vírseda	Designing an efficient computation strategy in CFLP(FD) using definitional trees.	WCFLP	2005	DBLP DOI BibTeX RDF	definitional trees, functional logic languages, constraint logic programming, narrowing, finite domains
34	Alexandre Miquel	A Strongly Normalising Curry-Howard Correspondence for IZF Set Theory.	CSL	2003	DBLP DOI BibTeX RDF
34	Michael Hanus	High-Level Server Side Web Scripting in Curry.	PADL	2001	DBLP DOI BibTeX RDF
34	Matt Fairtlough, Michael Mendler	On the Logical Content of Computational Type Theory: A Solution to Curry's Problem.	TYPES	2000	DBLP DOI BibTeX RDF
34	Ken-etsu Fujita, Aleksy Schubert	Partially Typed Terms between Church-Style and Curry-Style.	IFIP TCS	2000	DBLP DOI BibTeX RDF
34	Atsushi Ohori	A Curry-Howard Isomorphism for Compilation and Program Execution.	TLCA	1999	DBLP DOI BibTeX RDF
34	Milind Gandhe, G. Venkatesh, Amitabha Sanyal	Correcting Errors in the Curry System.	FSTTCS	1996	DBLP DOI BibTeX RDF
34	Thierry Boy de la Tour, Christoph Kreitz	Building Proofs by Analogy via the Curry-Horward Isomorphism.	LPAR	1992	DBLP DOI BibTeX RDF
34	Edward Curry, Doug Lea	Introduction to the 1st International Middleware Doctoral Symposium.	Doctoral Symposium on Middleware	2004	DBLP DOI BibTeX RDF
26	Michael Hanus, Christof Kluß	Declarative Programming of User Interfaces.	PADL	2009	DBLP DOI BibTeX RDF
26	Ana Bove, Peter Dybjer	Dependent Types at Work.	LerNet ALFA Summer School	2008	DBLP DOI BibTeX RDF
26	Michael Moortgat	Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus.	WoLLIC	2007	DBLP DOI BibTeX RDF
26	Sebastian Fischer 0001, Herbert Kuchen	Systematic generation of glass-box test cases for functional logic programs.	PPDP	2007	DBLP DOI BibTeX RDF	testing, declarative programming, code coverage
26	Bernd Brassel, Olaf Chitil, Michael Hanus, Frank Huch	Observing Functional Logic Computations.	PADL	2004	DBLP DOI BibTeX RDF
26	Herman Geuvers, Rob Nederpelt	Rewriting for Fitch Style Natural Deductions.	RTA	2004	DBLP DOI BibTeX RDF
26	François Maurel	Nondeterministic Light Logics and NP-Time.	TLCA	2003	DBLP DOI BibTeX RDF	Light logics, implicit characterisations of complexity classes, NP complexity
26	Jean-Louis Krivine	Typed lambda-calculus in classical Zermelo-Frænkel set theory.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 03E40, 03B40, 68N18
26	Elvira Albert, Michael Hanus, Germán Vidal	Using an Abstract Representation to Specialize Functional Logic Programs.	LPAR	2000	DBLP DOI BibTeX RDF
26	Iman Poernomo, John N. Crossley	Protocols between Programs and Proofs.	LOPSTR (LNCS 2042: Selected Papers)	2000	DBLP DOI BibTeX RDF
26	Michael Hanus, Frank Steiner	Controlling Search in Declarative Programs.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
26	Jean Goubault-Larrecq	Conjunctive Types and SKInT.	TYPES	1998	DBLP DOI BibTeX RDF
26	Torben Braüner	The Girard Translation Extended with Recursion.	CSL	1994	DBLP DOI BibTeX RDF
22	Jan Christiansen, Daniel Seidel, Janis Voigtländer	Free theorems for functional logic programs.	PLPV	2010	DBLP DOI BibTeX RDF	haskell, relational parametricity, curry
22	Zena M. Ariola, Aaron Bohannon, Amr Sabry	Sequent calculi and abstract machines.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	Krivine machine, duality, explicit substitutions, natural deduction, Curry-Howard isomorphism
22	Sebastian Fischer 0001, Herbert Kuchen	Data-flow testing of declarative programs.	ICFP	2008	DBLP DOI BibTeX RDF	data flow, code coverage, curry
22	Harry Halpin	From Typed-Functional Semantic Web Services to Proofs.	ISWC	2006	DBLP DOI BibTeX RDF	Functional Programming, Semantic Web Services, Type Theory, Proofs, Curry-Howard Isomorphism
22	Yosihiro Yuse, Atsushi Igarashi	A modal type system for multi-level generating extensions with persistent code.	PPDP	2006	DBLP DOI BibTeX RDF	time-ordered normalization, temporal logic, type systems, modal logic, meta-programming, curry-howard isomorphism
22	Pavel Naumov	On Modal Logics of Partial Recursive Functions.	Stud Logica	2005	DBLP DOI BibTeX RDF	modal logic, recursive function, Curry-Howard isomorphism
22	Philip Wadler	Call-by-value is dual to call-by-name.	ICFP	2003	DBLP DOI BibTeX RDF	Curry-Howard correspondence, De Morgan dual, lambda mu calculus, logic, lambda calculus, sequent calculus, natural deduction
22	Uday S. Reddy	A Typed Foundation for Directional Logic Programming.	ELP	1992	DBLP DOI BibTeX RDF	Directionality, types, linear logic, sequent calculus, modes, concurrent logic programming, Curry-Howard isomorphism, logic variables
21	Juan Climent Vidal, Enric Cosme-Llópez	From higher-order rewriting systems to higher-order categorial algebras and higher-order Curry-Howard isomorphisms.	CoRR	2024	DBLP DOI BibTeX RDF
21	Fairouz Kamareddine	Substitution in the lambda Calculus and the role of the Curry School.	CoRR	2024	DBLP DOI BibTeX RDF
21	Pulkit Pattnaik, Rishabh Maheshwary, Kelechi Ogueji, Vikas Yadav, Sathwik Tejaswi Madhusudhan	Curry-DPO: Enhancing Alignment using Curriculum Learning & Ranked Preferences.	CoRR	2024	DBLP DOI BibTeX RDF
21	Gilles Dowek	A theory independent Curry-De Bruijn-Howard correspondence.	CoRR	2023	DBLP DOI BibTeX RDF
21	Kostia Chardonnet, Alexis Saurin, Benoît Valiron	A Curry-Howard Correspondence for Linear, Reversible Computation.	CoRR	2023	DBLP DOI BibTeX RDF
21	Steven Libby	RICE: An Optimizing Curry Compiler.	PADL	2023	DBLP DOI BibTeX RDF
21	Kostia Chardonnet, Alexis Saurin, Benoît Valiron	A Curry-Howard Correspondence for Linear, Reversible Computation.	CSL	2023	DBLP DOI BibTeX RDF
21	Rafael Félix Mora Ramirez	A Pragmatic Dissolution of Curry's Paradox.	Logica Universalis	2022	DBLP DOI BibTeX RDF
21	Melissa Antonelli, Ugo Dal Lago, Paolo Pistone	Curry and Howard Meet Borel.	CoRR	2022	DBLP DOI BibTeX RDF
21	Melissa Antonelli, Ugo Dal Lago, Paolo Pistone	Curry and Howard Meet Borel.	LICS	2022	DBLP DOI BibTeX RDF
21	Ivo Pezlar	The placeholder view of assumptions and the Curry-Howard correspondence.	Synth.	2021	DBLP DOI BibTeX RDF
21	Cosimo Perini Brogi	Curry-Howard-Lambek Correspondence for Intuitionistic Belief.	Stud Logica	2021	DBLP DOI BibTeX RDF
21	Adam Farris, Aryaman Arora	For the Purpose of Curry: A UD Treebank for Ashokan Prakrit.	CoRR	2021	DBLP BibTeX RDF
21	Jonas Böhm, Michael Hanus, Finn Teegen	From Non-determinism to Goroutines: A Fair Implementation of Curry in Go.	PPDP	2021	DBLP DOI BibTeX RDF
21	Ivo Pezlar	The Placeholder View of Assumptions and the Curry-Howard Correspondence (Extended Abstract).	CLAR	2021	DBLP DOI BibTeX RDF
21	Michael Hanus	Combining Static and Dynamic Contract Checking for Curry.	Fundam. Informaticae	2020	DBLP DOI BibTeX RDF
21	Cosimo Perini Brogi	Curry-Howard-Lambek Correspondence for Intuitionistic Belief.	CoRR	2020	DBLP BibTeX RDF
21	Manuel Eduardo Tapia-Navarro, Luis Estrada-González	When Curry met Abel.	Log. J. IGPL	2020	DBLP DOI BibTeX RDF
21	Kostia Chardonnet, Alexis Saurin, Benoît Valiron	Toward a Curry-Howard Equivalence for Linear, Reversible Computation - Work-in-Progress.	RC	2020	DBLP DOI BibTeX RDF
21	James Laird	A Curry-style Semantics of Interaction: From Untyped to Second-Order Lazy λ μ-Calculus.	FoSSaCS	2020	DBLP DOI BibTeX RDF
21	Juan Ferrer Meleiro, Hugo Luiz Mariano	Formalizing the Curry-Howard Correspondence.	CoRR	2019	DBLP BibTeX RDF
21	Michael Hanus, Finn Teegen	Adding Data to Curry.	CoRR	2019	DBLP BibTeX RDF
21	Cécilia Pradic, Colin Riba	A Curry-Howard Approach to Church's Synthesis.	Log. Methods Comput. Sci.	2019	DBLP DOI BibTeX RDF
21	Rodolphe Lepigre, Christophe Raffalli	Practical Subtyping for Curry-Style Languages.	ACM Trans. Program. Lang. Syst.	2019	DBLP DOI BibTeX RDF
21	Juliana Viscenheski, Artur Ziviani, Thiago Henrique Silva	From pizza to curry: preferences for recipes around the world.	WebMedia	2019	DBLP DOI BibTeX RDF
21	Michael Simon, Daniel Moldt, Dennis Schmitz, Michael Haustermann	Tools for Curry-Coloured Petri Nets.	Petri Nets	2019	DBLP DOI BibTeX RDF
21	Michael Hanus, Finn Teegen	Adding Data to Curry.	DECLARE	2019	DBLP DOI BibTeX RDF
21	Paul Downen, Zachary Sullivan, Zena M. Ariola, Simon Peyton Jones	Making a faster Curry with extensional types.	Haskell@ICFP	2019	DBLP DOI BibTeX RDF
21	Jonathan P. Seldin	Formalism and Structuralism, a Synthesis: the Philosophical Ideas of H. B. Curry.	FLAP	2018	DBLP BibTeX RDF
21	Federico Aschieri, Agata Ciabattoni, Francesco A. Genco	Disjunctive Axioms and Concurrent λ-Calculi: a Curry-Howard Approach.	CoRR	2018	DBLP BibTeX RDF
21	Rob Arthan, Paulo Oliva	A Curry-Howard Correspondence for the Minimal Fragment of Łukasiewicz Logic.	CoRR	2018	DBLP BibTeX RDF