新規登録 | ログイン | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

samth continuations [31 articles]

最近 samth さんのライブラリに追加された論文の中から タグ continuations. You can also see everyone's continuations.
  • 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
  • Partial Continuations as the Difference of Continuations: A Duumvi
    (September 1994), pp. 182-197.
    by Luc Moreau, Christian Queinnec
    edited by Manuel Hermenegildo, Jaan Penjam
    posted to continuations by samth on 2005-02-26 03:28:54 as read along with 1 group NU-PRL
  • A Library of high-level control operators
    Vol. 6, No. 4. (1993), pp. 11-26.
    by Christian Queinnec
    posted to continuations by samth on 2005-02-26 03:28:54 as read along with 1 group NU-PRL
  • Representing monads
    (1994), pp. 446-457.
    by Andrzej Filinski
    posted to continuations by samth on 2005-02-26 03:28:54 as read along with 1 person and 1 group cedricboidin NU-PRL
  • Final shift for call/cc: direct implementation of shift and reset
    (2002), pp. 271-282.
    by Martin Gasbichler, Michael Sperber
    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
  • Call-by-name, call-by-value, and the $λ$-calculus
    Theoretical Computer Science (1975), pp. 125-159.
    by Gordon D Plotkin
    posted to continuations by samth on 2005-02-26 03:28:54 as read along with 2 people and 1 group cedricboidin ryanc 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 Operators and their impact on programming language design
    (1994)
    by Dorai Sitaram
    posted to continuations by samth on 2005-02-26 03:28:54 as read along with 1 group NU-PRL
  • Continuations and concurrency
    (1990), pp. 128-136.
    by R Hieb, Kent K Dybvig
    posted to continuations by samth on 2005-02-26 03:28:54 as read along with 1 group NU-PRL
  • A Dynamic Extent Control Operator for Partial Continuations
    (1991), pp. 174-184.
    by Christian Queinnec, Bernard Serpette
    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
  • Handling Control
    (1993), pp. 147-155.
    by Dorai Sitaram
    posted to continuations by samth on 2005-02-26 03:28:54 as read along with 1 group NU-PRL
  • Abstracting Control
    (1990), pp. 151-160.
    by O Danvy, A Filinski
    posted to continuations by samth on 2005-02-26 03:28:53 as read along with 1 group 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 7 people and 1 group JeffreyPalmer yallop dsilva JosephKoshy ryanc pedagand jkominek NU-PRL
  • From control effects to typed continuation passing
    Vol. 38, No. 1. (January 2003), pp. 139-149.
    by Hayo Thielecke
    posted to continuations effects by samth on 2005-01-10 16:17:20 as ** along with 2 people and 1 group twleung dherman NU-PRL
  • Reasoning about continuations with control effects
    Vol. 24, No. 7. (July 1989), pp. 218-226.
    by P Jouvelot, DK Gifford
    posted to continuations effects fx by samth on 2005-01-10 16:16:54 as read along with 4 people and 1 group twleung dherman tautologico dsilva 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
  • 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
  • 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
  • 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
  • Abstracting control
    (1990), pp. 151-160.
    by Olivier Danvy, Andrzej Filinski
    posted to continuations by samth on 2004-12-01 23:09:37 along with 2 people and 1 group jacob dsilva NU-PRL
  • Implementation Strategies for First-Class Continuations
    Higher Order Symbol. Comput., Vol. 12, No. 1. (April 1999), pp. 7-45.
    by William D Clinger, Anne H Hartheimer, Eric M Ost
    posted to continuations scheme by samth on 2004-12-01 23:09:20 along with 11 people and 1 group assnoodles twleung marcoil jacob eaubin JacquesC JeffreyPalmer yallop ryanc tov jkominek NU-PRL
  • Locality, causality and continuations
    (1994), pp. 91-102.
    by Christian Queinnec
    posted to continuations by samth on 2004-12-01 23:06:45 along with 1 group NU-PRL
  • Representing control in the presence of one-shot continuations
    Vol. 31, No. 5. (May 1996), pp. 99-107.
    by Carl Bruggeman, Oscar Waddell, Kent K Dybvig
    posted to continuations by samth on 2004-12-01 22:34:13 along with 3 people and 1 group ryanc muraken tov NU-PRL
  • Continuation-Based Program Transformation Strategies
    J. ACM, Vol. 27, No. 1. (January 1980), pp. 164-180.
    by Mitchell Wand
    posted to continuations by samth on 2004-12-01 22:34:04 along with 9 people and 2 groups kvm twleung rgrig JacquesC JeffreyPalmer voigt pile nominolo americovargas NU-PRL SRG_at_UCD
  • 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
  • Handling control
    Vol. 28, No. 6. (June 1993), pp. 147-155.
    by Dorai Sitaram
    posted to continuations by samth on 2004-12-01 22:33:47 along with 1 group 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
  • Typing first-class continuations in ML
    (1991), pp. 163-173.
    by Bruce Duba, Robert Harper, David Macqueen
    posted to continuations ml types by samth on 2004-12-01 22:33:10 along with 2 people and 1 group dsilva msakai NU-PRL
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/samth/tag/continuations

    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.