Jonathan Sobel, Erik Hilsdale, R. Kent Dybvig, Daniel P. Friedman  Home/Search
Context
Related
| indiana.edu/~jsobel/Parsi...explicit.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: indiana.edu/~jsobel/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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