See this document in CiteSeerX!

Abstraction and Performance from Explicit Monadic Reflection  (Make Corrections)  
Jonathan Sobel, Erik Hilsdale, R. Kent Dybvig, Daniel P. Friedman



  Home/Search   Context   Related

 
View or download:
indiana.edu/~jsobel/Parsi...explicit.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  indiana.edu/~jsobel/ (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: ion and Performance from Explicit Monadic Reflection Jonathan Sobel Erik Hilsdale R. Kent Dybvig Daniel P. Friedman Department of Computer Science Indiana University Bloomington, Indiana 47405 fjsobel, ehilsdal, dyb, dfriedg@cs.indiana.edu Abstract Much of the monadic programming literature gets the types right but the abstraction wrong. Using monadic parsing as the motivating example, we demonstrate standard monadic programs in Scheme, recognize how they violate abstraction boundaries,... (Update)

Similar documents (at the sentence level):
60.7%:   Abstraction and Performance from Explicit Monadic.. - Sobel, Hilsdale.. (1999)   (Correct)

Active bibliography (related documents):   More   All
0.1:   Composable and Compilable Macros: You Want it When? - Flatt (2002)   (Correct)
0.1:   Programming Languages as Operating Systems (or.. - Flatt, Findler.. (1999)   (Correct)
0.1:   Automatic Time-Bound Analysis for a Higher-Order Language - Gómez, Liu (1999)   (Correct)

Similar documents based on text:   More   All
0.3:   Monadic Programming - Monadic Programming Is   (Correct)
0.1:   Compiler Construction Using Scheme - Hilsdale, Ashley, Dybvig, Friedman (1995)   (Correct)
0.1:   Reliable Interactive Programming with Modules - Tung, Dybvig (1995)   (Correct)

BibTeX entry:   (Update)

@misc{ sobel-abstraction,
  author = "Jonathan Sobel and Erik Hilsdale and R. Kent Dybvig and Daniel P. Friedman",
  title = "Abstraction and Performance from Explicit Monadic Reflection",
  url = "citeseer.ist.psu.edu/300913.html" }
Citations (may not include all citations):
562   Categories for the Working Mathematician (context) - Lane - 1998
369   Information and Computation (context) - Moggi, computation - 1991
115   Revised 5 report on the algorithmic language scheme - Kelsey, Clinger et al. - 1998
108   Introduction to Functional Programming Using Haskell (context) - Bird - 1998
67   Representing monads - Filinski - 1994
65   Higher-order functions for parsing - Hutton - 1992
65   How to replace failure by a list of successes (context) - Wadler - 1985
61   Detecting global variables in denotational specifications (context) - Schmidt - 1985
48   Laboratory for Foundations of Computer Science (context) - Moggi, view et al. - 1989
19   Monadic parsing in Haskell - Hutton, Meijer - 1998
14   Department of Computer Science (context) - Hutton, Meijer et al. - 1996
13   The essence of LR parsing - Sperber, Thiemann - 1995
11   A new approach to procedures with variable arity - Dybvig, Hieb - 1990
7   Chez Scheme User's Guide (context) - Dybvig - 1998

Documents on the same site (http://www.cs.indiana.edu/~jsobel/):   More
A Datatype Macro for Scheme - Sobel, hilsdale   (Correct)
Recycling Continuations - Sobel, Friedman (1998)   (Correct)
Recycling Continuations - Sobel, Friedman (1998)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC