Register | Log in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

croys's library [25 articles]

Recent papers added to croys's library.
  • Cayenne - a Language with Dependent Types
    (1998), pp. 239-250.
    by Lennart Augustsson
    posted to type-systems types dependent-types by croys on 2008-05-04 15:53:44 as ** along with 1 person americovargas
  • SIMD-Oriented Fast Mersenne Twister: a 128-bit Pseudorandom Number Generator
    Monte Carlo and Quasi-Monte Carlo Methods 2006 (2008), pp. 607-622.
    by Mutsuo Saito, Makoto Matsumoto
    posted to random number math generation by croys on 2008-04-28 08:51:30 as **
  • Wobbly types: Type inference for generalised algebraic data types
    (2004)
    by P Jones, S Washburn, G Weirich
    posted to type-systems types haskell by croys on 2008-04-25 10:57:17 as **
  • A Multi-currency Model with FX Volatility Skew
    Social Science Research Network Working Paper Series (7 February 2005)
    by Vladimir Piterbarg
    posted to prdc fx finance by croys on 2008-04-24 14:25:57 as **
  • Unskilled and unaware of it: how difficulties in recognizing one's own incompetence lead to inflated self-assessments.
    J Pers Soc Psychol, Vol. 77, No. 6. (December 1999), pp. 1121-1134.
    by J Kruger, D Dunning
    posted to psychology by croys on 2008-04-24 14:04:19 as ** along with 6 people and 2 groups Marcory jwm simonjudge nickstenning suizan pjays Radiation_Damage Stressosome
  • Applicative Programming with Effects
    by Conor Mcbride, Ross Paterson
    posted to functional by croys on 2008-04-24 14:01:47 as ** along with 5 people zednenem josefs mstone bringert conal
  • Making Type Inference Practical
    (1992), pp. 329-349.
    by Nicholas Oxhoj, Jens Palsberg, Michael I Schwartzbach
    posted to type-systems by croys on 2008-04-24 13:26:54 as **
  • Computing the nearest correlation matrix
    No. No. 389. (2000)
    by NJ Higham
    posted to matrix math finance correlation by croys on 2008-04-24 13:06:00 as read
  • Extending the Haskell foreign function interface with concurrency
    (2004), pp. 22-32.
    by Simon Marlow, Simon P Jones, Wolfgang Thaller
    posted to concurrency haskell by croys on 2007-05-23 03:48:31 as *** along with 3 people jacob wtribbey brecknell
  • 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 functional by croys on 2007-05-14 15:22:11 as *** along with 25 people and 4 groups pedagand dvgb rgrig jrw tautologico MattOConnor rahul ergodique kavabean damaru pintman roi msakai lomeo scis0000001 brothers calvins armintroy dhag Porges conal cdiggins mmarcus jimburton namin SRL SRG_at_UCD complogic Lambda the Ultimate
  • Observable Sharing for Functional Circuit Description
    (1999), pp. 62-73.
    by Koen Claessen, David Sands
    posted to functional monads by croys on 2007-05-14 14:38:48 as ***
  • Tackling the Awkward Squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell
    by Simon P Jones
    posted to functional monads by croys on 2005-12-27 19:46:34 as ** along with 5 people p1738j scook0 glaubersp pedagand SamB
  • Monadic Parser Combinators
    No. NOTTCS-TR-96-4. (1996)
    by Graham Hutton, Erik Meijer
    posted to functional parsing by croys on 2005-12-27 19:45:15 as ** along with 4 people and 1 group LeonSmith rahul cdiggins americovargas SRL
  • What are principal typings and what are they good for?
    (1996), pp. 42-53.
    by Trevor Jim
    edited by Ac
    posted to types by croys on 2005-12-27 15:17:00 as ** along with 3 people and 1 group twleung dherman JeffreyPalmer NU-PRL
  • A critique of Abelson and Sussman or why calculating is better than scheming
    SIGPLAN Not., Vol. 22, No. 3. (March 1987), pp. 83-94.
    by P Wadler
    posted to no-tag by croys on 2005-12-27 14:00:10 as ** along with 4 people and 1 group samth dherman tautologico ben_moseley NU-PRL
  • notes Register allocation & spilling via graph coloring
    Proceedings of the 1982 SIGPLAN Symposium on Compiler Construction, pages 98-101 (1982)
    by GJ Chaitin
    posted to compilers by croys on 2005-12-18 10:42:46 as **
  • notes The Essence of Compiling with Continuations
    Vol. 28(6) (1993), pp. 237-247.
    by Cormac Flanagan, Amr Sabry, Bruce F Duba, Matthias Felleisen
    posted to compilers by croys on 2005-12-18 09:16:17 as ** along with 3 people clconway ds mbrentharp
  • From Region Inference to von Neumann Machines via Region Representation Inference
    (January 1996), pp. 171-183.
    by Lars Birkedal, Mads Tofte, Magnus Vejlstrup
    posted to compilers regions by croys on 2005-12-18 08:20:38 as ** along with 1 person brturn
  • The Temporal Logic of Actions
    ACM Transactions on Programming Languages and Systems, Vol. 16, No. 3. (May 1994), pp. 872-923.
    by Leslie Lamport
    posted to concurrency distribution by croys on 2005-12-17 09:27:14 as **
  • The Two-Phase Commitment Protocol in an Extended pi-Calculus
    pp. 105-130.
    by Martin Berger, Kohei Honda
    posted to concurrency distribution semantics by croys on 2005-12-17 09:25:59 as **
  • A theory of type qualifiers
    Vol. 34, No. 5. (May 1999), pp. 192-203.
    by Jeffrey S Foster, Manuel F&\#228;hndrich, Alexander Aiken
    posted to type-systems by croys on 2005-12-17 06:50:03 as ** along with 2 people derek_farn danielvd
  • CCured: type-safe retrofitting of legacy code
    Vol. 37, No. 1. (January 2002), pp. 128-139.
    by George C Necula, Scott Mcpeak, Westley Weimer
    posted to c type-systems by croys on 2005-12-17 06:49:18 as ** along with 3 people derek_farn ecronin krisn11
  • An Object Calculus for Asynchronous Communication
    Lecture Notes in Computer Science, Vol. 512 (1991), pp. 133-??.
    by Kohei Honda, Mario Tokoro
    posted to concurrency semantics by croys on 2005-12-17 06:43:45 as ** along with 1 person cogumbreiro
  • The UDP Calculus: Rigorous Semantics for Real Networking
    Lecture Notes in Computer Science, Vol. 2215 (2001), pp. 535-??.
    by Andrei Serjantov, Peter Sewell, Keith Wansbrough
    posted to concurrency semantics by croys on 2005-12-15 14:23:37 as read along with 1 person keigoi
  • What Every Computer Scientist Should Know About Floating-Point Arithmetic
    ACM Computing Surveys, Vol. 23, No. 1. (1991), pp. 5-48.
    by David Goldberg
    posted to approximation floating-point by croys on 2005-12-15 14:23:03 as *** along with 10 people derek_farn ansobol brian yaroslavvb jrw ozarfreo sachingarg dguibert chrisatcite bsilverthorn
    • Note: You may cite this page as: http://www.citeulike.org/user/croys

    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.