Search results for "monads"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Robert A. Herrmann	Point monads and P-closed spaces.	Notre Dame J. Formal Log.	1979	DBLP DOI BibTeX RDF
18	Robert Warren Button	Monads for regular and normal spaces.	Notre Dame J. Formal Log.	1976	DBLP DOI BibTeX RDF
14	Jeremy Gibbons, Ralf Hinze	Just do it: simple monadic equational reasoning.	ICFP	2011	DBLP DOI BibTeX RDF
14	Alberto Pardo, João Paulo Fernandes, João Saraiva	Shortcut fusion rules for the derivation of circular and higher-order monadic programs.	PEPM	2009	DBLP DOI BibTeX RDF	monadic programming, shortcut fusion, deforestation, program calculation, circular programming
14	Mauro Jaskelioff	Modular Monad Transformers.	ESOP	2009	DBLP DOI BibTeX RDF
14	Marcos Viera, S. Doaitse Swierstra, Wouter Swierstra	Attribute grammars fly first-class: how to do aspect oriented programming in Haskell.	ICFP	2009	DBLP DOI BibTeX RDF	HList, class system, type-level programming, Haskell, attribute grammars, lazy evaluation
14	Janis Voigtländer	Free theorems involving type constructor classes: functional pearl.	ICFP	2009	DBLP DOI BibTeX RDF	relational parametricity
14	Hai Liu 0012, Eric Cheng, Paul Hudak	Causal commutative arrows and their optimization.	ICFP	2009	DBLP DOI BibTeX RDF	functional programming, stream processing, program optimization, functional reactive programming, arrows, dataflow language
14	Gordon D. Plotkin	Adequacy for Infinitary Algebraic Effects (Abstract).	CALCO	2009	DBLP DOI BibTeX RDF
14	Johannes Borgström, Karthikeyan Bhargavan, Andrew D. Gordon 0001	A compositional theory for STM Haskell.	Haskell	2009	DBLP DOI BibTeX RDF	transactional memory, compositional reasoning, ambient calculus
14	Conal M. Elliott	Push-pull functional reactive programming.	Haskell	2009	DBLP DOI BibTeX RDF	semantics, concurrency, data-driven, functional reactive programming, demand-driven
14	Kazuyuki Asada	Extensional Universal Types for Call-by-Value.	APLAS	2008	DBLP DOI BibTeX RDF
14	Eelis van der Weegen, James McKinna	A Machine-Checked Proof of the Average-Case Complexity of Quicksort in Coq.	TYPES	2008	DBLP DOI BibTeX RDF
14	Till Mossakowski, Lutz Schröder, Sergey Goncharov 0001	A Generic Complete Dynamic Logic for Reasoning About Purity and Effects.	FASE	2008	DBLP DOI BibTeX RDF
14	Liwen Huang, Paul Hudak, John Peterson	HPorter: Using Arrows to Compose Parallel Processes.	PADL	2007	DBLP DOI BibTeX RDF
14	Frank Pfenning	Subtyping and intersection types revisited.	ICFP	2007	DBLP DOI BibTeX RDF
14	Peng Li, Steve Zdancewic	Combining events and threads for scalable network services implementation and evaluation of monadic, application-level concurrency primitives.	PLDI	2007	DBLP DOI BibTeX RDF	scalability, networking, concurrency, programming, implementation, haskell, event, thread, monad
14	Patrik Eklund, Maria A. Galán	The Rough Powerset Monad.	ISMVL	2007	DBLP DOI BibTeX RDF
14	Miki Tanaka, John Power	Pseudo-distributive laws and axiomatics for variable binding.	High. Order Symb. Comput.	2006	DBLP DOI BibTeX RDF	Binding signatures, Pseudo-distributive law, Substitution monoidal structure, Context, Initial algebra semantics, Pseudo-monad
14	Erik Meijer 0001	There is no impedance mismatch: (language integrated query in visual basic 9).	OOPSLA Companion	2006	DBLP DOI BibTeX RDF
14	Wolfram Kahl, Jacques Carette, Xiaoheng Ji	Bimonadic Semantics for Basic Pattern Matching Calculi.	MPC	2006	DBLP DOI BibTeX RDF
14	James McKinna	Why dependent types matter.	POPL	2006	DBLP DOI BibTeX RDF
14	Lawrence S. Moss	Uniform Functors on Sets.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
14	Sergey Goncharov 0001, Lutz Schröder, Till Mossakowski	Completeness of Global Evaluation Logic.	MFCS	2006	DBLP DOI BibTeX RDF
14	Tomasz Blanc, Jean-Jacques Lévy, Luc Maranget	Sharing in the Weak Lambda-Calculus.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
14	Ichiro Hasuo, Bart Jacobs 0001	Context-Free Languages via Coalgebraic Trace Semantics.	CALCO	2005	DBLP DOI BibTeX RDF
14	Shin-ya Katsumata	A Semantic Formulation of TT-Lifting and Logical Predicates for Computational Metalanguage.	CSL	2005	DBLP DOI BibTeX RDF
14	I. S. W. B. Prasetya, A. Azurat, Tanja E. J. Vos, Arthur van Leeuwen	Building Verification Condition Generators by Compositional Extensions.	SEFM	2005	DBLP DOI BibTeX RDF	modular verification, verification tool, verification technique
14	George Janelidze, Walter Tholen	Facets of Descent III: Monadic Descent for Rings and Algebras.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	monadic functor, action of a monoidal category, pure monomorphism, effective descent morphism
14	Rajiv Mirani, Paul Hudak	First-class monadic schedules.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF
14	Lutz Schröder, Till Mossakowski	Generic Exception Handling and the Java Monad.	AMAST	2004	DBLP DOI BibTeX RDF
14	Ernst-Erich Doberkat	Pipelines: Modelling a software architecture through relations.	Acta Informatica	2003	DBLP DOI BibTeX RDF
14	Dusko Pavlovic, Peter Pepper, Douglas R. Smith	Colimits for Concurrent Collectors.	Verification: Theory and Practice	2003	DBLP DOI BibTeX RDF
14	Eugenio Moggi, Sonia Fagorzi	A Monadic Multi-stage Metalanguage.	FoSSaCS	2003	DBLP DOI BibTeX RDF
14	Aleksandar Nanevski	From dynamic binding to state via modal possibility.	PPDP	2003	DBLP DOI BibTeX RDF	modal lambda-calculus, state, dynamic binding, effect systems
14	Lutz Schröder, Till Mossakowski	Monad-Independent Dynamic Logic in Has Casl.	WADT	2002	DBLP DOI BibTeX RDF
14	Tarmo Uustalu	Monad Translating Inductive and Coinductive Types.	TYPES	2002	DBLP DOI BibTeX RDF
14	Anthony M. Sloane	Post-design Domain-Specific Language Embedding: A Case Study in the Software Engineering Domain.	HICSS	2002	DBLP DOI BibTeX RDF	domain-specific embedded languages, software build systems, evaluation, functional languages
14	Paul Hudak, Antony Courtney, Henrik Nilsson, John Peterson	Arrows, Robots, and Functional Reactive Programming.	Advanced Functional Programming	2002	DBLP DOI BibTeX RDF
14	Andrew Butterfield, Glenn Strong	Proving Correctness of Programs with IO - A Paradigm Comparison.	IFL	2001	DBLP DOI BibTeX RDF
14	Olivier Danvy	Many Happy Returns.	TLCA	2001	DBLP DOI BibTeX RDF
14	Sava Krstic, John Launchbury, Dusko Pavlovic	Categories of Processes Enriched in Final Coalgebras.	FoSSaCS	2001	DBLP DOI BibTeX RDF
14	Ross Paterson	A New Notation for Arrows.	ICFP	2001	DBLP DOI BibTeX RDF	Haskell
14	Janis Cirulis	Are There Essentially Incomplete Knowledge Representation Systems?	FCT	2001	DBLP DOI BibTeX RDF	complete information, fuzzification, knowledge representation system, simulation, uncertainty
14	Levent Erkök, John Launchbury	Recursive monadic bindings.	ICFP	2000	DBLP DOI BibTeX RDF	Haskell
14	Jeremy Gibbons	Calculating Functional Programs.	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction	2000	DBLP DOI BibTeX RDF
14	John Peterson, Gregory D. Hager	Monadic robotics.	DSL	1999	DBLP DOI BibTeX RDF
14	Richard Kelsey, William D. Clinger, Jonathan Rees	Revised5 Report on the Algorithmic Language Scheme.	ACM SIGPLAN Notices	1998	DBLP DOI BibTeX RDF	SCHEME
14	Andrew P. Tolmach	Optimizing ML Using a Hierarchy of Monadic Types.	Types in Compilation	1998	DBLP DOI BibTeX RDF
14	Pietro Cenciarelli	An Algebraic View of Program Composition.	AMAST	1998	DBLP DOI BibTeX RDF
14	Jean-Christophe Filliâtre	Proof of Imperative Programs in Type Theory.	TYPES	1998	DBLP DOI BibTeX RDF
14	Per Bjesse, Koen Claessen, Mary Sheeran, Satnam Singh	Lava: Hardware Design in Haskell.	ICFP	1998	DBLP DOI BibTeX RDF	Haskell
14	Gian Luca Cattani, John Power, Glynn Winskel	A Categorical Axiomatics for Bisimulation.	CONCUR	1998	DBLP DOI BibTeX RDF
14	Koen Claessen, Ton Vullinghs, Erik Meijer 0001	Structuring Graphical Paradigms in TkGofer.	ICFP	1997	DBLP DOI BibTeX RDF
14	Ton Vullinghs, Daniel Tuinman, Wolfram Schulte	Lightweight GUIs for Functional Programming	PLILP	1995	DBLP DOI BibTeX RDF
14	Mark P. Jones	Programming with Constructor Classes (Abstract)	PLILP	1995	DBLP DOI BibTeX RDF
14	John Launchbury, Simon L. Peyton Jones	Lazy Functional State Threads.	PLDI	1994	DBLP DOI BibTeX RDF
14	Simon L. Peyton Jones, Philip Wadler	Imperative Functional Programming.	POPL	1993	DBLP DOI BibTeX RDF	C, Haskell
14	Neil Dunstan	Semaphores for Fair Scheduling Monitor Conditions.	ACM SIGOPS Oper. Syst. Rev.	1991	DBLP DOI BibTeX RDF