Регистрация | Вход в службу | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

samth Felleisen [44 articles]

Recent papers posted to samth library by the author Felleisen. You can also see Felleisen everyone.
  • On the Expressive Power of Programming Languages
    Vol. 432 (JanuaryMay--JanuaryAugust~May 1990), pp. 134-151.
    by Matthias Felleisen
    edited by Neil D Jones
    posted to no-tag by samth on 2005-02-26 03:29:52 as read along with 1 person and 1 group cedricboidin NU-PRL
  • Control operators, the SECD-machine and the $λ$-calculus
    pp. 193-217.
    by Matthias Felleisen, Daniel P Friedman
    posted to continuations by samth on 2005-02-26 03:28:54 as read along with 1 group NU-PRL
  • The theory and practice of first-class prompts
    (1988), pp. 180-190.
    by M Felleisen
    posted to continuations by samth on 2005-02-26 03:28:54 as read along with 1 group NU-PRL
  • $λ$-v-CS: an extended $λ$-calculus for scheme
    (1988), pp. 72-85.
    by Matthias Felleisen
    posted to continuations by samth on 2005-02-26 03:28:54 as read along with 1 group NU-PRL
  • A syntactic theory of sequential control
    Theor. Comput. Sci., Vol. 52, No. 3. (1987), pp. 205-237.
    by M Felleisen, DP Friedman, E Kohlbecker, B Duba
    posted to continuations by samth on 2005-02-26 03:28:54 as read along with 1 group NU-PRL
  • Control delimiters and their hierarchies
    Lisp Symb. Comput., Vol. 3, No. 1. (1990), pp. 67-99.
    by Dorai Sitaram, Matthias Felleisen
    posted to continuations by samth on 2005-02-26 03:28:54 as read along with 1 group NU-PRL
  • A New Way of Debugging Lisp Programs
    (1998)
    by C Flanagan, M Felleisen
    posted to cfa flow-analysis plt scheme by samth on 2005-01-24 23:21:52 as ** along with 1 person and 1 group JeffreyPalmer NU-PRL
  • Programming Languages and Lambda Calculi
    (27 August 2003)
    by M Felleisen, M Flatt
    posted to plt by samth on 2005-01-24 22:17:26 as ** along with 1 person and 1 group ryanc NU-PRL
  • The essence of compiling with continuations
    SIGPLAN Not., Vol. 39, No. 4. (April 2004), pp. 502-514.
    by Cormac Flanagan, Amr Sabry, Bruce F Duba, Matthias Felleisen
    posted to compiler continuations cps plt by samth on 2005-01-24 18:49:56 as ** along with 6 people and 1 group jkominek JeffreyPalmer yallop dsilva JosephKoshy ryanc NU-PRL
  • Modeling Web interactions
    (2003)
    by P Graunke, R Findler, S Krishnamurthi, M Felleisen
    posted to continuations plt web by samth on 2005-01-03 17:14:39 as *** along with 1 person and 1 group assnoodles NU-PRL
  • The semantics of future and its use in program optimization
    (1995), pp. 209-220.
    by Cormac Flanagan, Matthias Felleisen
    posted to christmas-reading static-analysis by samth on 2004-12-17 23:46:22 as ** along with 3 people and 3 groups A_Olympia dsilva voigt NU-PRL Philosophy_of_Information Blog_and_Wiki_Research
  • Catching bugs in the web of program invariants
    Vol. 31, No. 5. (May 1996), pp. 23-32.
    by Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen
    posted to christmas-reading static-analysis by samth on 2004-12-17 23:44:26 as read along with 1 person and 1 group dsilva NU-PRL
  • Componential set-based analysis
    ACM Trans. Program. Lang. Syst., Vol. 21, No. 2. (March 1999), pp. 370-416.
    by Cormac Flanagan, Matthias Felleisen
    posted to christmas-reading static-analysis by samth on 2004-12-17 23:43:02 as ** along with 1 person and 1 group dsilva NU-PRL
  • Componential set-based analysis
    Vol. 32, No. 5. (May 1997), pp. 235-248.
    by Cormac Flanagan, Matthias Felleisen
    posted to christmas-reading static-analysis by samth on 2004-12-17 23:42:54 as read along with 1 person and 1 group dsilva NU-PRL
  • A Programmer's Reduction Semantics for Classes and Mixins
    Lecture Notes in Computer Science
    by Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen
    posted to java plt semantics by samth on 2004-12-10 18:22:32 as **** along with 1 person and 1 group spl NU-PRL
  • A Tail-Recursive Semantics for Stack Inspections
    Lecture Notes in Computer Science, pp. 22-37.
    by John Clements, Matthias Felleisen
    posted to plt scheme by samth on 2004-12-10 18:21:45 as *** along with 2 people and 1 group dherman ryanc NU-PRL
  • Modeling an Algebraic Stepper
    Lecture Notes in Computer Science
    by John Clements, Matthew Flatt, Matthias Felleisen
    posted to plt scheme stepper by samth on 2004-12-10 18:21:10 as ** along with 2 people and 1 group dherman ryanc NU-PRL
  • DrScheme: A Pedagogic Programming Environment for Scheme
    (1997), pp. 369-388.
    by Robert B Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen
    posted to education plt program-environment scheme by samth on 2004-12-02 00:05:09 as ** along with 1 person and 1 group emerson NU-PRL
  • The structure and interpretation of the computer science curriculum
    J. Funct. Program., Vol. 14, No. 4. (July 2004), pp. 365-378.
    by Matthias Felleisen, Robert B Findler, Matthew Flatt, Shriram Krishnamurthi
    posted to education plt scheme by samth on 2004-12-02 00:04:12 as read along with 1 person and 1 group pnkfelix NU-PRL
  • Programming languages as operating systems (<italic>or</italic> revenge of the son of the lisp machine)
    Vol. 34, No. 9. (September 1999), pp. 138-147.
    by Matthew Flatt, Robert B Findler, Shriram Krishnamurthi, Matthias Felleisen
    posted to plt program-environment scheme by samth on 2004-12-02 00:03:43 as read along with 5 people and 1 group hamish dsilva hannes ryanc jkominek NU-PRL
  • How to design programs: an introduction to programming and computing
    (2001)
    by Matthias Felleisen, Robert B Findler, Matthew Flatt, Shriram Krishnamurthi
    posted to education plt scheme by samth on 2004-12-02 00:03:09 as read along with 1 person and 3 groups A_Olympia NU-PRL Philosophy_of_Information Blog_and_Wiki_Research
  • Modeling an Algebraic Stepper
    (2001), pp. 320-334.
    by John Clements, Matthew Flatt, Matthias Felleisen
    posted to plt scheme stepper by samth on 2004-12-02 00:02:03 as *** along with 1 person and 1 group ryanc NU-PRL
  • A tail-recursive machine with stack inspection
    ACM Trans. Program. Lang. Syst., Vol. 26, No. 6. (November 2004), pp. 1029-1052.
    by John Clements, Matthias Felleisen
    posted to plt scheme by samth on 2004-12-02 00:01:52 as ** along with 2 people and 1 group dherman dsilva NU-PRL
  • Automatically Restructuring Programs for the Web
    Automated Software Engg., Vol. 11, No. 4. (October 2004), pp. 337-364.
    by Jacob Matthews, Robert B Findler, Paul Graunke, Shriram Krishnamurthi, Matthias Felleisen
    posted to plt scheme web-programming by samth on 2004-12-02 00:01:28 as ** along with 4 people and 1 group dfisher jacob JeffreyPalmer yallop NU-PRL
  • Behavioral software contracts
    (2002)
    by Robert B Findler, Matthias Felleisen
    posted to contracts plt scheme by samth on 2004-12-02 00:00:58 as * along with 1 group NU-PRL
  • Synthesizing Object-Oriented and Functional Design to Promote Re-Use
    (1998), pp. 91-113.
    by Shriram Krishnamurthi, Matthias Felleisen, Daniel P Friedman
    posted to plt program-design by samth on 2004-12-01 23:58:44 as *** along with 4 people and 3 groups dherman JacquesC A_Olympia spl NU-PRL Philosophy_of_Information Blog_and_Wiki_Research
  • A Reduction Semantics for Imperative Higher-Order Languages
    (1987), pp. 206-223.
    by Matthias Felleisen, Daniel P Friedman
    posted to scheme semantics by samth on 2004-12-01 23:58:30 as ** along with 2 people and 1 group jacob ryanc NU-PRL
  • Control delimiters and their hierarchies
    Lisp Symb. Comput., Vol. 3, No. 1. (January 1990), pp. 67-99.
    by Dorai Staram, Matthias Felleisen
    posted to continuations scheme by samth on 2004-12-01 23:58:18 as read along with 2 people and 1 group ryanc hayeah NU-PRL
  • Programming languages for reusable software components
    (2000)
    by Matthew R Flatt, Matthias Felleisen
    posted to plt scheme by samth on 2004-12-01 23:58:09 as * along with 1 person and 1 group ryanc NU-PRL
  • DrScheme: a programming environment for Scheme
    J. Funct. Program., Vol. 12, No. 2. (March 2002), pp. 159-182.
    by Robert B Findler, John Clements, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Paul Steckler, Matthias Felleisen
    posted to plt program-environment scheme by samth on 2004-12-01 23:51:46 as *** along with 1 group NU-PRL
  • Catching bugs in the web of program invariants
    SIGPLAN Not., Vol. 31, No. 5. (May 1996), pp. 23-32.
    by Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen
    posted to plt scheme static-analysis by samth on 2004-12-01 23:51:26 as read along with 1 group NU-PRL
  • On the expressive power of programming languages
    Sci. Comput. Program., Vol. 17, No. 1-3. (1991), pp. 35-75.
    by Matthias Felleisen
    posted to programming by samth on 2004-12-01 23:50:55 as *** along with 3 people and 1 group assnoodles JacquesC RalfMitschke NU-PRL
  • A call-by-need lambda calculus
    (1995), pp. 233-246.
    by Zena M Ariola, John Maraist, Martin Odersky, Matthias Felleisen, Philip Wadler
    posted to lazy-evaluation by samth on 2004-12-01 23:49:23 as * along with 1 person and 1 group dsilva NU-PRL
  • A syntactic approach to type soundness
    Inf. Comput., Vol. 115, No. 1. (November 1994), pp. 38-94.
    by Andrew K Wright, Matthias Felleisen
    posted to types by samth on 2004-12-01 23:48:53 as ** along with 1 person and 1 group tautologico NU-PRL
  • Classes and mixins
    (1998), pp. 171-183.
    by Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen
    posted to java mixins plt by samth on 2004-12-01 23:48:43 as read along with 2 people and 1 group dsilva spl NU-PRL
  • Reasoning about programs in continuation-passing style.
    (1992), pp. 288-298.
    by Amr Sabry, Matthias Felleisen
    posted to continuations cps scheme by samth on 2004-12-01 23:48:27 as ** along with 1 person and 1 group dsilva NU-PRL
  • A syntactic theory of sequential control
    Theor. Comput. Sci., Vol. 52, No. 3. (June 1987), pp. 205-237.
    by M Felleisen, DP Friedman, E Kohlbecker, B Duba
    posted to scheme by samth on 2004-12-01 23:48:09 as ** along with 1 person and 1 group dherman NU-PRL
  • The theory and practice of first-class prompts
    (1988), pp. 180-190.
    by M Felleisen
    posted to continuations scheme by samth on 2004-12-01 23:48:01 as read along with 3 people and 1 group assnoodles dsilva ryanc NU-PRL
  • Units: cool modules for HOT languages
    Vol. 33, No. 5. (May 1998), pp. 236-248.
    by Matthew Flatt, Matthias Felleisen
    posted to modules oopsla-paper plt scheme by samth on 2004-12-01 23:47:39 along with 2 people and 1 group dsilva gkuan NU-PRL
  • The revised report on the syntactic theories of sequential control and state
    Theor. Comput. Sci., Vol. 103, No. 2. (September 1992), pp. 235-271.
    by Matthias Felleisen, Robert Hieb
    posted to scheme by samth on 2004-12-01 23:46:15 along with 3 people and 1 group dsilva mcclurmc gkuan NU-PRL
  • Contracts for higher-order functions
    Vol. 37, No. 9. (September 2002), pp. 48-59.
    by Robert B Findler, Matthias Felleisen
    posted to contracts plt scheme by samth on 2004-12-01 23:07:52 along with 1 person and 1 group ryanc NU-PRL
  • Hygienic macro expansion
    (1986), pp. 151-161.
    by Eugene Kohlbecker, Daniel P Friedman, Matthias Felleisen, Bruce Duba
    posted to macros scheme by samth on 2004-12-01 22:39:14 along with 2 people and 1 group dherman ryanc NU-PRL
  • Models of continuations without continuations
    (1991), pp. 185-196.
    by Dorai Sitaram, Matthias Felleisen
    posted to continuations by samth on 2004-12-01 22:33:59 along with 5 people and 1 group twleung jacob JacquesC JeffreyPalmer dsilva NU-PRL
  • Reasoning with continuations II: full abstraction for models of control
    (1990), pp. 161-175.
    by Dorai Sitaram, Matthias Felleisen
    posted to continuations denotational-semantics by samth on 2004-12-01 22:33:40 along with 4 people and 1 group twleung JeffreyPalmer cedricboidin dsilva NU-PRL
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/samth/author/Felleisen

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.