Registrera dig | Logga in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

croys' library [27 articles]

Senaste artiklarna i croys' bibliotek.
  • The Power of Pi
    ICFP08
    by Wouter Sweirstra, Nicolas Oury
    posted to no-tag by croys on 2008-10-09 06:38:14 as ***
  • Total Functional Programming
    by DA Turner
    posted to programming functional by croys on 2008-10-09 06:34:45 as *** along with 1 person and 1 group greenrd SRG_at_UCD
  • Cayenne - a Language with Dependent Types
    (1998), pp. 239-250.
    by Lennart Augustsson
    posted to dependent-types types type-systems 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 generation math number random 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 haskell types type-systems 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 finance fx prdc 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 jwm simonjudge nickstenning suizan pjays Marcory 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 6 people pedagand 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 correlation finance math matrix 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 27 people and 4 groups draganigajic rgrig jrw tautologico MattOConnor rahul ergodique kavabean damaru pintman roi msakai lomeo scis0000001 brothers calvins armintroy dhag Porges conal cdiggins mmarcus jimburton namin dvgb jkominek pedagand 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 6 people draganigajic 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 5 people and 1 group tarampam 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 11 people derek_farn ansobol brian yaroslavvb jrw ozarfreo sachingarg dguibert chrisatcite bsilverthorn pedagand
    • Du kan hänvisa till den här sidan som: http://www.citeulike.org/user/croys

    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.