Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for monad with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1971-1995 (15) 1996-1998 (17) 1999-2000 (18) 2001-2002 (21) 2003-2004 (27) 2005 (19) 2006 (18) 2007 (17) 2008 (17) 2009 (15) 2010-2011 (15) 2012-2013 (15) 2014-2016 (20) 2017 (18) 2018-2020 (29) 2021-2022 (21) 2023-2024 (11)
Publication types (Num. hits)
article(105) book(1) inproceedings(205) phdthesis(2)
Venues (Conferences, Journals, ...)
Appl. Categorical Struct.(25) ICFP(25) CoRR(24) Haskell(10) POPL(8) CALCO(7) LICS(7) TPHOLs(7) FoSSaCS(6) Fuzzy Sets Syst.(6) AMAST(5) CSL(5) Log. Methods Comput. Sci.(5) Theor. Comput. Sci.(5) J. Funct. Program.(4) Math. Struct. Comput. Sci.(4) More (+10 of total 132)
Authors
Gordon D. Plotkin(11) John Power(11) Lutz Schröder(8) Tarmo Uustalu(8) Philip Wadler(7) Till Mossakowski(7) Yingzhou Zhang(7) David Nowak(6) Patrik Eklund(6) Stefan Milius(6) William L. Harrison(6) Amr Sabry(5) Ernst-Erich Doberkat(5) Jirí Adámek(5) Peter Thiemann 0001(5) Baowen Xu(4) More (+10 of total 416)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 241 occurrences of 136 keywords
Results
Found 313 publication records. Showing 313 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
13Philip Wadler The Marriage of Effects and Monads. Search on Bibsonomy ICFP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
13Slawomir Lasota 0001 Weak Bisimilarity and Open Maps. Search on Bibsonomy SOFSEM The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
13Amr Sabry, Philip Wadler A Reflection on Call-by-Value. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF compiling, continuations, category theory, Galois connections
13C. Barry Jay, Murray Cole, M. Sekanina, Paul Steckler A Monadic Calculus for Parallel Costing of a Functional Language of Arrays. Search on Bibsonomy Euro-Par The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
13Enno Scholz PIDGETS - Unifying Pictures and Widgets in a Constraint-Based Framework for Concurrent Functional GUI Programming. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
13Amr Sabry, Philip Wadler A Reflection on Call-by-Value. Search on Bibsonomy ICFP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
13Christoph Lüth Compositional Term Rewriting: An Algebraic Proof of Toyama's Theorem. Search on Bibsonomy RTA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
13Jon G. Riecke, Ramesh Viswanathan Isolating Side Effects in Sequential Languages. Search on Bibsonomy POPL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Standard ML
13John Hatcliff, Olivier Danvy A Generic Account of Continuation-Passing Styles. Search on Bibsonomy POPL The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
13Françoise Bellegarde, James Hook Monads, Indexes and Transformations. Search on Bibsonomy TAPSOFT The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
13Val Tannen, Peter Buneman, Limsoon Wong Naturally Embedded Query Languages. Search on Bibsonomy ICDT The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
13Philip Wadler Comprehending Monads. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
13A. John Power An Algebraic Formulation for Data Refinement. Search on Bibsonomy Mathematical Foundations of Programming Semantics The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
Displaying result #301 - #313 of 313 (100 per page; Change: )
Pages: [<<][1][2][3][4]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license