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

thsutton languages [24 articles]

Recent papers added to thsutton library classified by the tag languages. You can also see everyone's languages.
  • Threads cannot be implemented as a library
    Vol. 40, No. 6. (June 2005), pp. 261-268.
    by H Hans-J
    posted to compilers concurrency cs languages programming threads by thsutton on 2006-04-11 05:03:54 as read along with 8 people LittleWood kinaba JosephKoshy qiongc arsyed damaru Bluetulip brothers
  • Language support for lightweight transactions
    Vol. 38, No. 11. (November 2003), pp. 388-402.
    by Tim Harris, Keir Fraser
    posted to concurrency cs languages programming transactions by thsutton on 2006-03-31 06:28:45 as *** along with 8 people and 1 group tautologico robennals epaulson spl janschaefer RalfMitschke brecknell getpost TU-KL-SoftwareTechnologyGroup
  • Permission-based ownership: encapsulating state in higher-order typed languages
    Vol. 40, No. 6. (June 2005), pp. 96-106.
    by Neel Krishnaswami, Jonathan Aldrich
    posted to cs languages ownership programming theory type by thsutton on 2006-03-31 00:16:34 as *** along with 1 person bec
  • Fun of Programming (Cornerstones of Computing S.)
    (30 June 2005)
    by Jeremy Gibbons, Oege de Moor
    posted to functional haskell languages programming by thsutton on 2006-03-27 13:27:00 as **** along with 2 people spl jimburton
  • A Language for Mathematical Visualization
    (September 2002)
    by John Peterson
    posted to cs education languages programming by thsutton on 2006-03-27 13:09:48 as ***
  • The Educational Pearls column
    Journal of Functional Programming, Vol. 13 (2003), pp. 833-834.
    by Simon P Jones, Phil Wadler
    posted to cs education languages programming by thsutton on 2006-03-27 13:07:06 as ***
  • The structure and interpretation of the computer science curriculum
    Journal of Functional Programming, Vol. 14 (07 June 2004), pp. 365-378.
    by Matthias Felleisen, Robert B Findler, Matthew Flatt, Shriram Krishnamurthi
    posted to cs education languages programming by thsutton on 2006-03-27 13:04:46 as ***
  • Functional programming: more fundamental than BASIC
    SIGPLAN Lisp Pointers, Vol. VI, No. 2. (1993), pp. 43-48.
    by Iain Ferguson
    posted to cs education languages programming by thsutton on 2006-03-27 13:00:45 as ***
  • Essential language support for generic programming
    Vol. 40, No. 6. (June 2005), pp. 73-84.
    by Jeremy G Siek, Jeremy Siek, Andrew Lumsdaine
    posted to cs languages polymorphism programming theory type by thsutton on 2006-03-21 08:17:33 as ***** along with 3 people yallop bec jsiek
  • An efficient implementation of SELF a dynamically-typed object-oriented language based on prototypes
    SIGPLAN Not., Vol. 24, No. 10. (October 1989), pp. 49-70.
    by C Chambers, D Ungar, E Lee
    posted to cs dynamic implementation languages oo programming prototypes theory type by thsutton on 2006-03-19 04:00:30 as read
  • Jingle Bells: Solving the Santa Claus Problem in Polyphonic C#
    (2003)
    by Nick Benton
    posted to calculus cs csharp join languages microsoft oo programming by thsutton on 2006-03-19 01:03:01 as read
  • Recursive functions of symbolic expressions and their computation by machine, Part I
    Commun. ACM, Vol. 3, No. 4. (April 1960), pp. 184-195.
    by John Mccarthy
    posted to cs data functional languages lisp programming by thsutton on 2006-03-18 11:13:35 as ***** along with 4 people and 1 group mxp egh rzach lop LogicPhilMath
  • Integrating support for undo with exception handling
    (December 2004)
    by Avraham Shinnar, David Tarditi, Mark Plesko, Bjarne Steensgaard
    posted to exception handling languages programming theory undo by thsutton on 2006-03-18 05:54:01 as read
  • Language Primitives and Type Discipline for Structured Communication-Based Programming
    (1998), pp. 122-138.
    by Kohei Honda, Vasco T Vasconcelos, Makoto Kubo
    posted to calculus cs languages logic parallel pi process programming theory type by thsutton on 2006-03-12 02:33:06 as *** along with 1 person keigoi
  • Advanced Topics In Types And Programming Languages
    (19 November 2004)
    by Benjamin C Pierce
    posted to books cs functional languages logic programming theory type by thsutton on 2006-03-06 04:20:05 as ** along with 6 people and 1 group sstrickl tautologico voigt lyongu msakai jimburton Lambda the Ultimate
  • Towards Applicative Relational Programming
    (28 Feb 2006)
    by H Ibrahim, MH van Emden
    posted to constraint cs functional languages programming by thsutton on 2006-03-04 00:51:57 as **
  • On the Revival of Dynamic Languages
    Vol. 3628 (2005)
    by Oscar Nierstrasz, Alexandre Bergel, Marcus Denker, Stéphane Ducasse, Markus Gälli, Roel Wuyts
    edited by Thomas Gschwind, Uwe Aßmann, Oscar Nierstrasz
    posted to cs dynamic languages programming theory type by thsutton on 2006-02-27 03:01:34 as *****
  • An expressive language of signatures
    SIGPLAN Not., Vol. 40, No. 9. (September 2005), pp. 27-40.
    by Norman Ramsey, Kathleen Fisher, Paul Govereau
    posted to cs languages programming theory type by thsutton on 2006-02-26 23:14:41 as **** along with 2 people zednenem josefs
  • A Polymorphic Type System for Extensible Records and Variants
    No. NOTTCS-TR-96-3. (November 1996)
    by Benedict R Gaster, Mark P Jones
    posted to cs languages programming theory type by thsutton on 2006-02-26 06:00:03 as **** along with 7 people and 1 group dherman JeffreyPalmer sstrickl tautologico lyongu ryanc americovargas NU-PRL
  • notes Putting curry-howard to work
    (2005), pp. 74-85.
    by Tim Sheard
    posted to cs languages logic programming theory type by thsutton on 2006-02-26 05:51:35 as **** along with 10 people and 3 groups greenrd plaugg yallop voigt mahler KarlKlose mcclurmc robotact jimburton americovargas Rightscom SRG_at_UCD Lambda the Ultimate
  • notes Lock-Free Data Structures using STMs in Haskell
    (April 2006)
    by Anthony Discolo, Tim Harris, Simon Marlow, Simon P Jones, Satnam Singh
    posted to cs data haskell java languages monads parallel programming by thsutton on 2006-02-26 05:33:44 as read
  • iRho: an imperative rewriting calculus
    (2004), pp. 167-178.
    by Luigi Liquori, Bernard P Serpette
    posted to calculus languages matching pattern programming rewriting by thsutton on 2006-02-26 04:41:57 as ****
  • Matching Power
    (2001)
    by Horatiu Cirstea, Claude Kirchner, Luigi Liquori
    edited by Aart Middeldorp
    posted to calculus languages matching pattern programming rewriting by thsutton on 2006-02-26 04:19:01 as read
  • notes Interpreting the Data: Parallel Analysis with Sawzall (Draft)
    by Rob Pike, Sean Dorward, Robert Griesemer, Sean Quinlan
    posted to data distributed google languages parallel processing programming by thsutton on 2006-02-26 03:59:22 as read along with 2 people and 1 group pdlug rahul SRL
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/thsutton/tag/languages

    RIS BibTeX RSS
    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.