|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 310 occurrences of 176 keywords
|
|
|
Results
Found 459 publication records. Showing 459 according to the selection in the facets
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 |
|
Displaying result #401 - #459 of 459 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5] |
|