Register | Log in | FAQ      [?] 

Tag plt [46 articles]

Recent papers classified by the tag plt.
  • Modular Object-Oriented Programming with Units and Mixins
    Vol. 34(1) (1999), pp. 94-104.
    by Robert B Findler, Matthew Flatt
    posted to mixins modules oop plt scheme units by zednenem on 2005-07-30 03:20:16 as read along with 5 people and 1 group dherman JacquesC JeffreyPalmer ryanc brothers NU-PRL
  • Composable and compilable macros: You want it when
    (2002)
    by M Flatt
    posted to macros modules plt scheme by samth on 2004-12-07 03:30:39 as read along with 10 people and 1 group sourada assnoodles dherman pnkfelix ryanc tov jkominek c_m_h cdiggins dfisher NU-PRL
  • Jiazzi: New-Age Components for Old-Fashioned Java
    (October 2001)
    by Sean Mcdirmid, Matthew Flatt, Wilson Hsieh
    posted to components oopsla-paper plt by samth on 2005-01-27 18:52:53 as read along with 3 people and 1 group twleung dherman ryanc NU-PRL
  • Improving the static analysis of embedded languages via partial evaluation
    Vol. 39, No. 9. (September 2004), pp. 16-27.
    by David Herman, Philippe Meunier
    posted to cfa macros plt scheme static-analysis by samth on 2004-12-01 23:08:20 along with 9 people and 1 group dherman jacob JacquesC hamish JeffreyPalmer dsilva andymaule ryanc KarlKlose 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
  • Selectors Make Analyzing case-lambda Too Hard
    by Philippe Meunier, Robby Findler, Paul A Steckler, Mitchell Wand
    posted to cfa flow-analysis plt scheme by samth on 2005-01-24 23:22:10 as read along with 1 person and 1 group tov 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
  • Composable and compilable macros: you want it when?
    Vol. 37, No. 9. (September 2002), pp. 72-83.
    by Matthew Flatt
    posted to macros modules oopsla-paper plt scheme by samth on 2004-11-30 02:55:27 along with 3 people and 1 group sourada dsilva calvins 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
  • 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
  • Super and inner: together at last!
    (2004), pp. 116-129.
    by David S Goldberg, Robert B Findler, Matthew Flatt
    posted to object-oriented plt by samth on 2004-12-02 00:04:26 as read along with 4 people and 1 group hryk assnoodles dsilva water451 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
  • Kill-safe synchronization abstractions
    Vol. 39, No. 6. (May 2004), pp. 47-58.
    by Matthew Flatt, Robert B Findler
    posted to concurrency plt scheme by samth on 2004-12-02 00:04:03 as * along with 2 people and 1 group dsilva ryanc 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
  • Slideshow: functional presentations
    Vol. 39, No. 9. (September 2004), pp. 224-235.
    by Robert B Findler, Matthew Flatt
    posted to plt scheme by samth on 2004-12-02 00:02:22 as read along with 4 people and 1 group jacob hamish dsilva mxp NU-PRL
  • Memory accounting without partitions
    (2004), pp. 120-130.
    by Adam Wick, Matthew Flatt
    posted to garbage-collection plt scheme by samth on 2004-12-02 00:02:14 as * along with 1 person and 1 group dsilva NU-PRL
  • 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
  • Modular object-oriented programming with units and mixins
    Vol. 34, No. 1. (January 1998), pp. 94-104.
    by Robert B Findler, Matthew Flatt
    posted to mixins modules object-oriented plt scheme by samth on 2004-12-02 00:00:00 as *** along with 2 people and 1 group dsilva ryanc 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
    Vol. 523 (1991), pp. 124-144.
    by Erik Meijer, Maarten Fokkinga, Ross Paterson
    edited by J Hughes
    posted to plt programminglanguagetheory by Porges on 2007-07-02 08:34:07 as ***** along with 26 people and 4 groups pedagand jkominek dvgb rgrig jrw tautologico MattOConnor rahul ergodique kavabean damaru pintman croys roi msakai lomeo scis0000001 brothers calvins armintroy dhag conal cdiggins mmarcus jimburton namin SRL SRG_at_UCD complogic Lambda the Ultimate
  • Linguistic Reuse
    (2001)
    by S Krishnamurthi
    posted to extensible-syntax macros micros plt by dherman to the group NU-PRL on 2004-12-09 20:25:20 along with 4 people hamish jrw ryanc dfisher
  • Units: Cool Modules for HOT Languages
    (1998), pp. 236-248.
    by Matthew Flatt, Matthias Felleisen
    posted to components modules plt scheme units by dherman to the group NU-PRL on 2004-12-23 02:53:02 along with 4 people JeffreyPalmer zednenem lyongu ryanc
  • Catching Bugs in the Web of Program Invariants
    ACM SIG\-PLAN Notices, Vol. 31, No. 5. (1996), pp. 23-32.
    by Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen
    posted to cfa plt scheme by dherman to the group NU-PRL on 2004-12-24 02:59:20
  • Behavioral interface contracts for java
    (2000)
    by R Findler, M Felleisen
    posted to contracts honu oop plt by dherman to the group NU-PRL on 2004-12-23 15:45:50
  • Contract Soundness for object-oriented languages
    Vol. 36, No. 11. (November 2001), pp. 1-15.
    by Robert B Findler, Matthias Felleisen
    posted to contracts honu oop plt by dherman to the group NU-PRL on 2004-12-23 15:44:39 along with 2 people and 2 groups A_Olympia dsilva Philosophy_of_Information Blog_and_Wiki_Research
  • Contracts for Higher-Order Functions
    (# oct 2002), pp. 48-59.
    by Robert B Findler, Matthias Felleisen
    posted to contracts plt scheme by dherman to the group NU-PRL on 2004-12-23 15:40:06 along with 2 people mash ryanc
  • Behavioral contracts and behavioral subtyping
    Vol. 26, No. 5. (September 2001), pp. 229-236.
    by Robert B Findler, Mario Latendresse, Matthias Felleisen
    posted to contracts plt by dherman to the group NU-PRL on 2004-12-23 15:38:37 along with 2 people mash dsilva
  • Behavioral Software Contracts
    by Robert B Findler
    posted to contracts plt scheme by dherman to the group NU-PRL on 2004-12-23 15:34:21 along with 1 person ryanc
  • Pointcuts and advice in higher-order languages
    (2003), pp. 158-167.
    by David B Tucker, Shriram Krishnamurthi
    posted to aop plt scheme by dherman to the group NU-PRL on 2004-12-23 15:30:38 along with 5 people twleung plaugg dsilva guyomarj mig29x
  • Revisiting Coroutines
    No. 15/04. (June 2004)
    by Ana L de Moura, Roberto Ierusalimschy
    posted to plt by fgeller on 2008-06-24 08:27:32 as **
  • On the Expressive Power of Programming Languages
    Vol. 432 (1990), pp. 134-151.
    by Matthias Felleisen
    edited by N Jones
    posted to plt by fgeller on 2008-06-24 08:26:49 as ** along with 19 people and 1 group jkominek dherman jacob edcdave kschiess jrw kinaba zednenem water451 ryanc bunge mmuecke KarlKlose calvins pirapira ds mldechert jsiek dfisher NU-PRL
  • A Revised Report on the Syntactic Theories of Sequential Control and State
    Theoretical Computer Science, Vol. 103, No. 2. (1992), pp. 235-271.
    by Matthias Felleisen, Robert Hieb
    posted to operational plt semantics by dyoo on 2007-10-26 13:47:40 as ****
  • Growing a Language
    Higher-Order and Symbolic Computation, Vol. 12, No. 3. (1999), pp. 221-236.
    by Guy L Steele
    posted to oop plt by brothers on 2007-04-28 21:16:11 as *** along with 6 people carsonr bunge BenWiedermann Benja ajk ds
    • Note: You may cite this page as: http://www.citeulike.org/tag/plt

    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.