新規登録 | ログイン | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

conal library [70 articles]

最近 conal さんのライブラリ .
  • Functional Differentiation of Computer Programs
    (1998), pp. 195-203.
    by Jerzy Karczmarczuk
    posted to automatic-differentiation by conal on 2008-05-07 20:16:08 as read
  • Functional automatic differentiation with dirac impulses
    Vol. 38, No. 9. (September 2003), pp. 153-164.
    by Henrik Nilsson
    posted to hybrid-systems functional-reactive-programming frp dirac-impulses automatic-differentiation by conal on 2008-04-15 05:33:25 as ***** along with 1 person eaubin
  • Categories for the Working Mathematician (Graduate Texts in Mathematics)
    (25 September 1998)
    by Saunders M Lane
    posted to math category-theory by conal on 2008-03-31 18:32:16 as *** along with 11 people and 2 groups ansobol mahler BarrosH msakai bonotake aleks mstone NitinCR masteraka mmarcus robotact Rightscom Compilers
  • Monads for functional programming
    (1993)
    by Philip Wadler
    edited by ~broy
    posted to monads by conal on 2008-03-30 20:43:54 as read along with 18 people and 4 groups namin JeffreyPalmer cedricboidin grzegorz jburnim rahul damaru ben_moseley bunge glaubersp mingguo ds ariels cdiggins hayeah SamB mmarcus americovargas Lambda the Ultimate functional programming SRL SIG
  • Comprehending Monads
    (1990), pp. 61-78.
    by PL Wadler
    posted to monads by conal on 2008-03-30 20:32:36 as read along with 29 people and 2 groups hellige rgrig JeffreyPalmer Darius rwtodd jrw creswick cedricboidin zednenem bfraser ben_moseley scis0000001 msn mstone bunge rgb Benja jsala meiersi jasonmc glaubersp ds cdiggins cognominal benchambers kazuya hayeah mmarcus donniejones18 SRG_at_UCD pileWorks
  • Monad transformers and modular interpreters
    (1995), pp. 333-343.
    by Sheng Liang, Paul Hudak, Mark Jones
    edited by M Ac
    posted to monads by conal on 2008-03-30 20:19:00 as ** along with 8 people and 1 group greenrd JeffreyPalmer tautologico zednenem Benja jsala glaubersp americovargas SRG_at_UCD
  • Modular Denotational Semantics for Compiler Construction
    Vol. 1058 (1996), pp. 219-234.
    by Sheng Liang, Paul Hudak
    posted to monads semantics by conal on 2008-03-30 20:17:11 as ***
  • FranTk -- A Declarative GUI language for Haskell
    (September 2000), pp. 106-118.
    by Meurig Sage
    posted to guis frp by conal on 2008-03-30 19:36:11 as read
  • A Short Cut to Deforestation
    (June 1993), pp. 223-232.
    by Andrew Gill, John Launchbury, Simon
    posted to deforestation by conal on 2008-03-29 23:00:22 as read along with 1 person americovargas
  • Type Inference Builds a Short Cut to Deforestation
    Vol. 34(9) (1999), pp. 249-260.
    by Olaf Chitil
    posted to deforestation by conal on 2008-03-29 22:55:56 as read
  • Real-Time FRP
    (September 2001)
    by Z Wan, W Taha, P Hudak
    posted to functional-reactive-programming frp by conal on 2008-03-28 02:33:41 as read along with 1 person Scis0000002
  • Event-Driven FRP
    Lecture Notes in Computer Science, Vol. 2257 (2001)
    by Zhanyong Wan, Walid Taha, Paul Hudak
    posted to functional-reactive-programming frp by conal on 2008-03-28 02:31:43 as ** along with 1 person Scis0000002
  • Functional Pearls: A Poor Man's Concurrency Monad
    by Koen Claessen
    posted to concurrency haskell monads by conal on 2008-03-24 00:20:49 as read along with 1 person SamB
  • Concurrent Haskell
    (FebruaryJanuary--FebruaryApril 1996), pp. 295-308.
    by Simon P Jones, Andrew Gordon, Sigbjorn Finne
    posted to concurrency haskell by conal on 2008-03-20 02:55:41 as read along with 7 people twleung JeffreyPalmer cedricboidin tautologico Bluetulip tov calvins
  • Generalising monads to arrows
    Sci. Comput. Program., Vol. 37, No. 1-3. (2000), pp. 67-111.
    by John Hughes
    posted to arrows functional monads by conal on 2008-03-14 22:03:22 as read along with 6 people eaubin jrw cedricboidin tautologico jharai cognominal
  • Dynamic optimization for functional reactive programming using generalized algebraic data types
    (2005), pp. 54-65.
    by Henrik Nilsson
    posted to yampa optimization functional-reactive-programming frp by conal on 2008-03-14 21:51:07 as read along with 8 people and 1 group greenrd zednenem josefs voigt robennals serebryakov blue_entropy bhuber SRG_at_UCD
  • Applicative Programming with Effects
    Journal of Functional Programming, Vol. 18, No. 1. (2008), pp. 1-13.
    by Conor Mcbride, Ross Paterson
    posted to type-composition applicative-functors by conal on 2008-03-13 23:05:11 as read along with 5 people croys zednenem josefs mstone bringert
  • Parallel Functional Reactive Programming
    Lecture Notes in Computer Science, Vol. 1753 (2000), pp. 16-??.
    by John Peterson, Valery Trifonov, Andrei Serjantov
    posted to parallelism functional-reactive-programming frp by conal on 2008-03-13 18:50:28 as read along with 2 people serebryakov pedagand
  • The Incremental Garbage Collection of Processes
    No. AIM-454. (1977)
    by Baker, Carl Hewitt
    posted to futures evaluation-order concurrency by conal on 2007-12-23 19:26:50 as read
  • 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 no-tag by conal on 2007-12-16 18:22:23 as *** along with 25 people and 4 groups pedagand dvgb rgrig jrw tautologico MattOConnor rahul ergodique kavabean damaru pintman croys roi msakai lomeo scis0000001 brothers calvins armintroy dhag Porges cdiggins mmarcus jimburton namin SRL SRG_at_UCD complogic Lambda the Ultimate
  • Breadth-first numbering: lessons from a small exercise in algorithm design
    ACM SIG\-PLAN Notices, Vol. 35, No. 9. (2000), pp. 131-136.
    by Chris Okasaki
    posted to no-tag by conal on 2007-12-13 18:36:32 as read along with 2 people BMeph SamB
  • Lazy Functional State Threads
    (1994), pp. 24-35.
    by John Launchbury, Simon
    posted to lazy parametricity state by conal on 2007-12-10 22:11:19 as read along with 2 people tov americovargas
  • Interval Constraint Plotting for Interactive Visual Exploration of Implicitly Defined Relations
    (1999)
    by T Hickey, Z Qiu, M van Emden
    posted to interval-constraints graphics by conal on 2007-12-05 16:18:20 as read
  • State in Haskell
    Lisp and Symbolic Computation, Vol. 8, No. 4. (1995), pp. 293-341.
    by John Launchbury, Simon
    posted to haskell parametricity runst by conal on 2007-11-30 23:38:50 as read
  • Escaping the event loop: an alternative control structure for multi-threaded GUIs
    (1995), pp. 69-87.
    by M Fuchs
    posted to no-tag by conal on 2007-11-27 05:01:24 as *** along with 5 people hamish JeffreyPalmer dsilva zednenem danlentz
  • Purely Functional Random-Access Lists
    (1995), pp. 86-95.
    by Chris Okasaki
    posted to functional-data-structures arrays by conal on 2007-11-19 17:17:53 as read along with 3 people gvdh BMeph americovargas
  • Bootstrapping One-sided Flexible Arrays
    by Ralf Hinze
    posted to functional-data-structures arrays by conal on 2007-11-19 17:17:11 as read along with 1 person zednenem
  • De Bruijn Notation as a Nested Datatype
    Journal of Functional Programming, Vol. 9, No. 1. (1999), pp. 77-91.
    by Richard S Bird, Ross Paterson
    posted to nested-data-types by conal on 2007-11-17 16:35:03 as read
  • Numerical Representations as Higher-Order Nested Types
    (1998)
    by R Hinze
    posted to nested-data-types by conal on 2007-11-16 06:29:48 as ***
  • Perfect trees and bit-reversal permutations
    Journal of Functional Programming, Vol. 10, No. 3. (2000), pp. 305-317.
    by Ralf Hinze
    posted to ralf-hinze polymorphic-recursion nested-data-types functional-pearl fft bit-reversal by conal on 2007-11-16 06:25:14 as ***
  • From fast exponentiation to square matrices: an adventure in types
    (1999), pp. 28-35.
    by Chris Okasaki
    posted to nested-data-types matrices functional-data-structures by conal on 2007-11-16 02:21:29 as read along with 2 people wtribbey BMeph
  • The next 700 programming languages
    Commun. ACM, Vol. 9, No. 3. (March 1966), pp. 157-166.
    by PJ Landin
    posted to dsel iswim landin seminal by conal on 2007-11-10 22:22:39 as read along with 10 people cedricboidin wnoise mbravenboer pintman bunge yang tov jwm0123 calvins flavian_vasile
  • Frameless Rendering: Double Buffering Considered Harmful
    Computer Graphics, Vol. 28, No. Annual Conference Series. (1994), pp. 175-176.
    by Gary Bishop, Henry Fuchs, Leonard Mcmillan, Ellen
    posted to anti-aliasing graphics by conal on 2007-11-02 21:15:41 as **
  • Theorems for Free!
    (1989), pp. 347-359.
    by Philip Wadler
    posted to free parametricity theorems wadler by conal on 2007-10-31 19:32:28 as *** along with 1 person mmarcus
  • Weaving a Web
    by Ralf Hinze, Johan Jeuring
    posted to functional techniques web zipper by conal on 2007-10-31 02:20:58 as read
  • Lazy Functional Quaternions
    by Bryan O'Sullivan
    posted to graphics haskell math quaternions by conal on 2007-10-29 21:12:47 as ***
  • FranTk - A Declarative GUI language for Haskell
    (September 2000)
    by Meurig Sage
    posted to haskell guis by conal on 2007-09-09 01:32:02 as read
  • Continuation-Based Program Transformation Strategies
    Journal of the ACM, Vol. 27, No. 1. (January 1980), pp. 164-180.
    by Mitchell Wand
    posted to no-tag by conal on 2007-09-05 23:22:16 as read
  • Structuring Graphical Paradigms in TkGofer
    Vol. 32(8) (1997), pp. 251-262.
    by Koen Claessen, Ton Vullinghs, Erik Meijer
    posted to functional guis by conal on 2007-09-04 07:08:02 as read
  • Lightweight GUIs for Functional Programming
    (1995), pp. 341-356.
    by Ton Vullinghs, Daniel Tuinman, Wolfram Schulte
    posted to functional guis by conal on 2007-09-04 07:05:57 as read
  • Incremental algorithms on lists
    (1991), pp. 315-335.
    by J Jeuring
    edited by J van Leeuwen
    posted to adaptive incremental by conal on 2007-08-20 22:08:35 as ***
  • Adaptive functional programming
    ACM Transactions on Programming Languages and Systems, Vol. 28, No. 6. (2006), pp. 990-1034.
    by Umut A Acar, Guy E Blelloch, Robert Harper
    posted to adaptive incremental ml by conal on 2007-08-11 19:34:14 as **
  • notes Monads for incremental computing
    (2002), pp. 26-35.
    by Magnus Carlsson
    posted to monads incremental haskell by conal on 2007-08-11 19:23:22 as read
  • QuickCheck: a lightweight tool for random testing of Haskell programs
    ACM SIGPLAN Notices, Vol. 35, No. 9. (2000), pp. 268-279.
    by Koen Claessen, John Hughes
    posted to haskell testing by conal on 2007-08-06 00:21:29 as read along with 1 person americovargas
  • Derivable type classes
    (2000)
    by R Hinze, S Jones
    posted to classes haskell quanitification type by conal on 2007-08-02 00:34:12 as **** along with 3 people zednenem spl americovargas
  • Type classes with more higher-order polymorphism
    (2002)
    by M Neubauer, P Thiemann
    posted to classes haskell higher-order lambda type unification by conal on 2007-08-02 00:15:27 as *****
  • Simulating quantified class constraints
    (2003), pp. 98-102.
    by Valery Trifonov
    posted to classes haskell type work-around by conal on 2007-08-01 23:47:54 as read
  • Spreadsheet functional programming.
    Journal of Functional Programming, Vol. 17, No. 1. (2007), pp. 131-143.
    by David Wakeling
    posted to cited-eros by conal on 2007-08-01 02:40:45 as read
  • Interactive Visual Functional Programming
    (October 2002), pp. 100-112.
    by Keith Hanna
    edited by Peyton S Jones
    posted to edit functional haskell interactive live stylesheet visual cited-eros by conal on 2007-08-01 02:40:45 as read
  • Towards a theory of type structure
    (1974), pp. 408-423.
    by John C Reynolds
    posted to cited-eros by conal on 2007-08-01 02:40:45 as read
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/conal

    Result page: 1 2 Next 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.