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

thsutton library [43 articles]

Статьи, недавно добавленные в библиотеку thsutton .
  • Facing Facts
    by Stephen Neale
    posted to language perth philosophy by thsutton on 2007-11-26 11:41:26 as ***
  • Computing curricula 2001
    J. Educ. Resour. Comput., Vol. 1, No. 3es. (2001)
    by Corporate
    edited by Corporate
    posted to cs curriculum education by thsutton on 2006-06-15 11:12:58 as **
  • 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
  • Complete translation of unsafe native code to safe bytecode
    (2004), pp. 32-41.
    by Brian Alliet, Adam Megacz
    posted to code cs machines translation virtual by thsutton on 2006-04-07 01:58:17 as ***
  • 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 ***
  • Science, computational science, and computer science: at a crossroads
    (1993), pp. 7-14.
    by DE Stevenson
    posted to cs education language programming by thsutton on 2006-03-27 13:01:47 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 ***
  • Why Evolutionary Biology is (so far) Irrelevant to Law by Brian Leiter, Michael Weisberg
    (22 March 2006)
    by Brian R Leiter, Michael Weisberg
    posted to biology evolutionary law papers by thsutton on 2006-03-23 11:32:31 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
  • On Education (Thinking in Action)
    (15 December 2005)
    by Harry Brighouse
    posted to education philosophy reading by thsutton on 2006-03-19 07:23:48 as ****
  • 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
  • Harry Potter and the Half-Crazed Bureaucracy
    Michigan Law Review, Vol. 104 (May 2006)
    by Benjamin H Barton
    posted to harry law potter sciences social by thsutton on 2006-03-18 23:47:37 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 **
  • Logical Pluralism
    (02 February 2006)
    by JC Beall, Greg Restall
    posted to books logic philosophy by thsutton on 2006-03-04 00:46:40 as ** along with 1 person cangaru
  • notes Technology Education for Teachers
    (10 November 2000)
    by John Williams, Anthony Williams
    posted to books education technology by thsutton on 2006-03-03 06:08:45 as **
  • Designing effective step-by-step assembly instructions
    ACM Trans. Graph., Vol. 22, No. 3. (July 2003), pp. 828-837.
    by Maneesh Agrawala, Doantam Phan, Julie Heiser, John Haymaker, Jeff Klingner, Pat Hanrahan, Barbara Tversky
    posted to algorithm cs drawing education technical by thsutton on 2006-03-01 10:28:05 as ****
  • Disability In Australia: Exposing A Social Apartheid
    (28 February 2005)
    by Gerard Goggin, Christopher Newell
    posted to books education by thsutton on 2006-02-28 12:10:24 as **
  • Educational Psychology for Learning and Teaching
    by Kerri L Krause, Sandra Bochner, Sue Duchesne
    posted to books education by thsutton on 2006-02-28 12:09:34 as ***
  • The Teaching for Understanding Guide (Jossey Bass Education Series)
    (14 November 1997)
    by Tina Blythe, Associates
    posted to books education by thsutton on 2006-02-28 12:09:19 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
  • Cross-National Correlations of Quantifiable Societal Health with Popular Religiosity and Secularism in the Prosperous Democracies
    Journal of Religion and Society, Vol. 7 (2005)
    by Gregory S Paul
    posted to atheism social-science by thsutton on 2006-02-26 05:43:11 as read along with 2 people laodan jklugman
  • 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
  • Finger trees: a simple general-purpose data structure
    Journal of Functional Programming, Vol. 16, No. 02. (March 2006), pp. 197-217.
    by Ralf Hinze, Ross Paterson
    posted to cs data haskell programming structures by thsutton on 2006-02-26 05:05:18 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
  • The Haskell Road To Logic, Maths And Programming
    (31 May 2004)
    by Kees Doets, Jan E Van
    posted to haskell logic by thsutton on 2005-06-16 13:11:27 as ** along with 7 people and 1 group dsquared greg_restall grzegorz madhadron rgb flashfonic R13 pileWorks
  • Parsec, a fast combinator parser
    (4 October 2001)
    by Daan Leijen
    posted to combinators haskell monads parsec parsing project by thsutton on 2005-06-09 19:33:28 as read
  • Lotrec: the generic tableau prover for modal and description logics
    (18-23 June June 2001)
    by L Fariñas, David Fauthoux, Olivier Gasquet, Andreas Herzig, Dominique Longin, Fabio Massacci
    posted to java logic modal project tableaux by thsutton on 2005-06-09 08:46:42 as *****
  • notes Modal Tableaux with Propagation Rules and Structural Rules
    Fundamenta Informaticae, Vol. 32, No. 3/4. (1997)
    by Marcos Castilho, L Fariñas, Olivier Gasquet, Andreas Herzig
    posted to logic modal project tableaux by thsutton on 2005-06-09 08:39:14 as *****
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/thsutton

    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.