Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1993-2007 (8)
Publication types (Num. hits)
article(1) inproceedings(7)
Venues (Conferences, Journals, ...)
ICFP(3) ESOP(1) FPCA(1) High. Order Symb. Comput.(1) LISP and Functional Programmin...(1) TLCA(1)
Authors
Amr Sabry(2) Hugo Herbelin(2) Zena M. Ariola(2) Daniel Ribbens(1) David Herman(1) James Laird(1) Ken-etsu Fujita(1) Luc Moreau 0001(1) Martin Gasbichler(1) Michael Sperber(1) Sandip K. Biswas(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 12 occurrences of 10 keywords
Results
Found 8 publication records. Showing 8 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
76Ken-etsu Fujita Explicitly Typed lambda ยต-Calculus for Polymorphism an Call-by-Value. Search on Bibsonomy TLCA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
51James Laird Exceptions, Continuations and Macro-expressiveness. Search on Bibsonomy ESOP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
46Luc Moreau 0001, Daniel Ribbens Sound Rules for Parallel Evaluation of a Functional Language with callcc. Search on Bibsonomy FPCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
33Zena M. Ariola, Hugo Herbelin, Amr Sabry A proof-theoretic foundation of abortive continuations. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Callcc, Minimal logic, Intuitionistic logic, Classical logic
33Zena M. Ariola, Hugo Herbelin, Amr Sabry A type-theoretic foundation of continuations and prompts. Search on Bibsonomy ICFP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF callcc, prompt, subcontinuation, continuation, monad, subtraction, shift, reset
25David Herman Functional pearl: the great escape or, how to jump the border without getting caught. Search on Bibsonomy ICFP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF delimited control, continuations, dynamic binding
25Martin Gasbichler, Michael Sperber Final shift for call/cc: : direct implementation of shift and reset. Search on Bibsonomy ICFP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF implementation, scheme, continuations
25Sandip K. Biswas In-Place Updates in the Presence of Control Operators. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #8 of 8 (100 per page; Change: )
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