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

pedagand haskell [51 articles]

最近 pedagand さんのライブラリに追加された論文の中から タグ haskell. You can also see everyone's haskell.
  • Applicative Programming with Effects
    by Conor Mcbride, Ross Paterson
    posted to types monads haskell functional-programming arrows applicative by pedagand on 2008-10-03 07:49:19 as ** along with 6 people zednenem josefs mstone bringert conal croys
  • Beauty in the beast
    (2007), pp. 25-36.
    by Wouter Swierstra, Thorsten Altenkirch
    posted to pure monads haskell functional-programming formal-proof by pedagand on 2008-10-01 00:16:24 as read
  • Typing Haskell in Haskell
    (1999)
    by M Jones
    posted to cs_252r haskell by pedagand on 2008-08-23 07:52:42 as ** along with 3 people draganigajic dtim cdiggins
  • Modeling HTML in Haskell
    (2000), pp. 263-277.
    by Peter Thiemann
    posted to cs_252r functional-programming haskell by pedagand on 2008-08-23 07:50:36 as ** along with 1 person draganigajic
  • 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 cs_252r functional-programming haskell by pedagand on 2008-08-23 07:46:24 as ** along with 3 people draganigajic conal americovargas
  • Monad transformers and modular interpreters
    (1995), pp. 333-343.
    by Sheng Liang, Paul Hudak, Mark Jones
    edited by Ac
    posted to cs_252r functional-programming haskell monads by pedagand on 2008-08-23 07:36:36 as read along with 10 people and 1 group draganigajic greenrd JeffreyPalmer tautologico zednenem Benja jsala glaubersp conal americovargas SRG_at_UCD
  • Monads for functional programming
    (1993)
    by Philip Wadler
    edited by M Broy
    posted to cs_252r functional-programming haskell monads by pedagand on 2008-08-23 07:35:36 as read along with 20 people and 4 groups draganigajic JeffreyPalmer cedricboidin grzegorz jburnim rahul damaru ben_moseley bunge glaubersp mingguo ds conal ariels cdiggins hayeah SamB mmarcus americovargas namin SRL SIG functional programming Lambda the Ultimate
  • The essence of functional programming
    (1992), pp. 1-14.
    by Philip Wadler
    posted to cs_252r functional-programming haskell by pedagand on 2008-08-23 07:33:18 as read along with 15 people and 3 groups draganigajic assnoodles samth JeffreyPalmer rahul voigt lyongu pintman shilad spl tmiya mstone calvins hayeah frej NU-PRL GroupLens SRL
  • Imperative functional programming
    (1993), pp. 71-84.
    by Simon P Jones, Philip Wadler
    posted to cs_252r functional-programming haskell by pedagand on 2008-08-23 07:31:14 as read along with 3 people draganigajic spl linekin
  • A prettier printer
    Journal of Functional Programming (1999)
    by Philip Wadler
    posted to combinator cs_252r functional-programming haskell by pedagand on 2008-08-23 07:28:25 as ** along with 2 people and 1 group draganigajic dherman NU-PRL
  • How to replace failure by a list of successes
    (1985), pp. 113-128.
    by Philip Wadler
    posted to cs_252r functional-programming haskell by pedagand on 2008-08-23 07:14:59 as read along with 1 person draganigajic
  • FUNCTIONAL PEARLS: Probabilistic functional programming in Haskell
    J. Funct. Program., Vol. 16, No. 1. (January 2006), pp. 21-34.
    by Martin Erwig, Steve Kollmansberger
    posted to functional-programming haskell monads probability by pedagand on 2008-08-20 22:13:31 as **
  • Deforestation: Transforming Programs to Eliminate Trees
    (1988), pp. 344-358.
    by P Wadler
    posted to compiler functional-programming haskell optimization by pedagand on 2008-08-20 10:47:16 as read along with 5 people draganigajic wadler calvins cdiggins americovargas
  • P-logic: property verification for Haskell programs
    by Richard B Kieburtz
    posted to formal-proof haskell by pedagand on 2008-08-14 12:49:33 as ** along with 2 people and 1 group draganigajic dherman NU-PRL
  • Functional Programming with Overloading and Higher-Order Polymorphism
    (1995), pp. 97-136.
    by Mark P Jones
    posted to functional-programming haskell types by pedagand on 2008-08-04 14:54:50 as read along with 5 people tautologico bunge ds americovargas yoriyuki
  • Encoding Information Flow in Haskell
    (2006)
    by Peng Li, Steve Zdancewic
    posted to haskell information-flow lattice security types by pedagand on 2008-08-02 09:00:29 as ** along with 6 people draganigajic msakai criswell keigoi scavadini tesissvc
  • A principled approach to operating system construction in Haskell
    (2005), pp. 116-128.
    by Thomas Hallgren, Mark P Jones, Rebekah Leslie, Andrew Tolmach
    posted to functional-programming haskell monads os by pedagand on 2008-07-29 14:40:02 as read along with 6 people and 1 group draganigajic pejo voigt hannes mahler mstone Rightscom
  • Plugging Haskell in
    (2004), pp. 10-21.
    by André Pang, Don Stewart, Sean Seefried, Manuel MT Chakravarty
    posted to dynamic-code-loading functional-programming haskell by pedagand on 2008-07-29 13:46:24 as read along with 2 people draganigajic brecknell
  • Dynamic applications from the ground up
    (2005), pp. 27-38.
    by Don Stewart, Manuel M Chakravarty
    posted to dynamic-code-loading functional-programming haskell hot-code-swapping by pedagand on 2008-07-28 00:03:56 as read along with 6 people draganigajic hamish JeffreyPalmer voigt byorgey jpbernardy
  • Cache Behaviour of Lazy Functional Programs
    No. 92-19. (1992)
    by K Langendoen, DJ Agterkamp
    edited by H Kuchen, R Loogen
    posted to cache haskell lazy-language optimization by pedagand on 2008-07-25 10:16:39 as **
  • Chasing Bottoms, A Case Study in Program Verification in the Presence of Partial and Infinite Values
    Vol. 3125 (July 2004), pp. 85-109.
    by Nils A Danielsson, Patrik Jansson
    edited by Dexter Kozen
    posted to haskell software-verification by pedagand on 2008-07-22 11:56:33 as ** along with 1 person draganigajic
  • A functional-logic library for wired
    (2007), pp. 37-48.
    by Matthew Naylor, Emil Axelsson, Colin Runciman
    posted to functional-circuit haskell logic-programming wired by pedagand on 2008-07-07 12:17:07 as ** along with 3 people draganigajic msakai keigoi
  • Monads for Incremental Computing - Functional Pearl
    by Magnus Carlsson
    posted to cps haskell monads by pedagand on 2008-06-30 13:42:01 as ** along with 1 person draganigajic
  • Data parallel Haskell: a status report
    (2007), pp. 10-18.
    by Manuel MT Chakravarty, Roman Leshchinskiy, Simon P Jones, Gabriele Keller, Simon Marlow
    posted to data-flow haskell parallel by pedagand on 2008-06-25 23:34:23 as ** along with 3 people draganigajic tov brecknell
  • Nepal - Nested Data Parallelism in Haskell
    (2001), pp. 524-534.
    by Manuel MT Chakravarty, Gabriele Keller, Roman Lechtchinsky, W Pfannenstiel
    posted to data-flow haskell parallel by pedagand on 2008-06-25 23:33:44 as ** along with 1 person draganigajic
  • A poor man's concurrency monad
    J. Funct. Program., Vol. 9, No. 3. (May 1999), pp. 313-323.
    by Koen Claessen
    posted to concurrency haskell monads by pedagand on 2008-06-23 17:31:51 as read along with 4 people and 2 groups draganigajic dalev keigoi janschaefer NU-PRL TU-KL-SoftwareTechnologyGroup
  • System Level Specification in Lava
    (2003)
    by Satnam Singh
    posted to hardware-design haskell lava software-verification by pedagand on 2008-06-12 18:58:18 as ** along with 1 person draganigajic
  • Automatic Verification of Combinational and Pipelined FFT Circuits
    Computer Aided Verification (1999), pp. 686-686.
    by Per Bjesse
    posted to hardware-design haskell lava software-verification by pedagand on 2008-06-12 18:33:15 as ** along with 1 person draganigajic
  • Lava: hardware design in Haskell
    (1998), pp. 174-184.
    by Per Bjesse, Koen Claessen, Mary Sheeran, Satnam Singh
    posted to hardware-design haskell lava by pedagand on 2008-06-12 18:32:29 as read along with 4 people draganigajic jacob mmuecke SamB
  • Data types à la carte
    Journal of Functional Programming, Vol. Forthcoming, No. -1. (2008), pp. 1-14.
    by Wouter Swierstra
    posted to expression-problem functional-programming haskell monads by pedagand on 2008-05-13 09:00:51 as read along with 2 people draganigajic jpbernardy
  • The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction using an FPGA
    Draft Proceedings of the 19th International Symposium on Implementation and Application of Functional Languages, IFL 2007 (September 2007)
    by Matthew Naylor, Colin Runciman
    posted to graph-reduction haskell interpreter lambda-machine by pedagand on 2008-04-19 00:30:45 as read along with 1 person draganigajic
  • Efficient interpretation by transforming data types and patterns to functions
    Trends in Functional Programming, Vol. 7 (2006), pp. 73-90.
    by Jan M Jansen, Pieter WM Koopman, Rinus Plasmeijer
    edited by Henrik Nilsson
    posted to functional-programming haskell interpreter lazy-language by pedagand on 2008-04-19 00:07:40 as read along with 1 person draganigajic
  • Generational garbage collection for Haskell
    (1993), pp. 106-116.
    by Patrick M Sansom, Simon
    posted to garbage-collection generational-gc haskell by pedagand on 2008-04-16 09:05:51 as ** along with 1 person draganigajic
  • Running the Manual: An Approach to High-Assurance
    by Microkernel D Philip
    posted to os haskell formal-proof by pedagand on 2008-02-06 20:13:39 as read along with 1 person draganigajic
  • Towards a Practical, Verified Kernel
    (May 2007)
    by Kevin Elphinstone, Gerwin Klein, Philip Derrin, Timothy Roscoe, Gernot Heiser
    posted to formal-proof functional-programming haskell isabelle kernel by pedagand on 2008-02-06 20:05:51 as read
  • Observable Sharing for Functional Circuit Description
    (1999), pp. 62-73.
    by Koen Claessen, David Sands
    posted to functional-circuit functional-programming haskell lava by pedagand on 2008-02-01 17:21:45 as read
  • Lock Free Data Structures Using STM in Haskell
    Functional and Logic Programming (2006), pp. 65-80.
    by Anthony Discolo, Tim Harris, Simon Marlow, Simon Jones, Satnam Singh
    posted to concurrency functional-programming haskell lock-free stm by pedagand on 2008-01-26 19:23:48 as read along with 4 people draganigajic brecknell keigoi msakai
  • Beautiful Concurrency
    (2007)
    by Simon P Jones
    edited by Andy Oram, Greg Wilson
    posted to concurrency functional-programming haskell lock-free stm by pedagand on 2008-01-26 19:19:51 as read along with 4 people draganigajic mcclurmc jwong frej
  • Tangible functional programming
    (2007), pp. 59-70.
    by Conal M Elliott
    posted to functional-programming haskell tangible-values by pedagand on 2008-01-21 16:08:32 as read along with 1 person draganigajic
  • Tackling the Awkward Squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell
    by Simon P Jones
    posted to cs_252r functional-programming haskell monads pure by pedagand on 2008-01-19 11:24:01 as read along with 6 people draganigajic p1738j croys scook0 glaubersp SamB
  • A new notation for arrows
    Vol. 36, No. 10. (October 2001), pp. 229-240.
    by Ross Paterson
    posted to arrows functional-programming haskell by pedagand on 2007-12-15 19:42:36 as read along with 8 people and 1 group draganigajic eaubin rwtodd jrw cedricboidin tautologico jolilius cognominal TUCS-ES_Lab
  • Generalising monads to arrows
    Science of Computer Programming, Vol. 37, No. 1--3. (2000), pp. 67-111.
    by John Hughes
    posted to arrows functional-programming haskell by pedagand on 2007-12-15 10:25:49 as read along with 5 people draganigajic alec tov calvins americovargas
  • Functional reactive programming, continued
    (2002), pp. 51-64.
    by Henrik Nilsson, Antony Courtney, John Peterson
    posted to functional-programming functional-reactive haskell programming-language by pedagand on 2007-12-15 10:22:24 as read along with 3 people draganigajic dsilva SergeStinckwich
  • The Design of a Pretty-printing Library
    Vol. 925 (1995)
    by John Hughes
    edited by J Jeuring, E Meijer
    posted to combinator functional-programming haskell by pedagand on 2007-11-23 04:14:01 as ** along with 3 people and 1 group dherman calvins americovargas NU-PRL
  • Declarative event-oriented programming
    (2000), pp. 56-67.
    by Conal Elliott
    posted to functional-programming functional-reactive haskell programming-language by pedagand on 2007-11-22 03:41:42 as read along with 1 person draganigajic
  • Secrets of the Glasgow Haskell compiler inliner
    (1999)
    by S Jones, S Marlow
    posted to compiler cs_252r functional-programming haskell programming-language by pedagand on 2007-11-18 10:14:30 as **
  • Functional Implementations of Continuous Modeled Animation
    Lecture Notes in Computer Science, Vol. 1490 (1998), pp. 284-??.
    by Conal Elliott
    posted to functional-programming functional-reactive haskell programming-language by pedagand on 2007-10-31 04:56:12 as read along with 1 person draganigajic
  • The Yampa arcade
    (2003), pp. 7-18.
    by Antony Courtney, Henrik Nilsson, John Peterson
    posted to functional-programming functional-reactive haskell programming-language by pedagand on 2007-10-28 16:20:52 as read along with 4 people draganigajic vlasovskikh kazuya red_buttons
  • Parallel Functional Reactive Programming
    Lecture Notes in Computer Science, Vol. 1753 (2000), pp. 16-??.
    by John Peterson, Valery Trifonov, Andrei Serjantov
    posted to functional-programming functional-reactive haskell parallel programming-language by pedagand on 2007-10-28 08:54:45 as read along with 3 people draganigajic conal serebryakov
  • Functional reactive programming from first principles
    (2000), pp. 242-252.
    by Zhanyong Wan, Paul Hudak
    posted to functional-programming functional-reactive haskell programming-language by pedagand on 2007-10-26 17:49:27 as read along with 1 person draganigajic
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/pedagand/tag/haskell

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