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

Group: Lambda the Ultimate - with tag programming [23 articles]

Недавние статьи, отправленные по почте членами Lambda the Ultimate группы with tag programming
  • Parameterized Unit Tests
    by Nikolai Tillmann, Wolfram Schulte, Wolfgang Grieskamp
    posted to types testing programming by namin to the group Lambda the Ultimate on 2008-08-08 02:52:32 as **
  • Scrap your type applications
    by Barry Jay, Simon Peyton-Jones
    posted to types programming logic by namin to the group Lambda the Ultimate on 2008-07-17 22:55:02 as *** along with 1 group functional programming
  • Catch me if you can: Towards type-safe, hierarchical, lightweight, polymorphic and efficient error management in OCaml
    (2008)
    posted to programming ocaml library functional fsharp expressivity exceptions by namin to the group Lambda the Ultimate on 2008-07-14 23:06:39 as ** along with 1 person and 1 group pedagand functional programming
  • Higher-Order Logic Programming
    by Dale Miller
    posted to programming logic functional expressivity data-structures by namin to the group Lambda the Ultimate on 2008-07-08 22:40:41 as ** along with 1 group functional programming
  • A Nanopass Framework for Compiler Education
    by RK Dybvig, D Sarkar, O Waddell
    posted to scheme programming pearl functional compilers by namin to the group Lambda the Ultimate on 2008-07-05 17:09:17 as **** along with 1 group functional programming
  • A Sketch of Complete Type Inference for Functional Programming
    by M Widera
    posted to types programming functional by namin to the group Lambda the Ultimate on 2008-06-30 11:07:27 as ** along with 1 group functional programming
  • Hardware Design and Functional Programming: a Perfect Match
    (2005)
    by M Sheeran
    posted to vhdl programming meng haskell hardware functional by namin to the group Lambda the Ultimate on 2008-06-30 11:06:08 as *** along with 1 person and 1 group miteshjain functional programming
  • Embedding an Interpreted Language Using Higher-Order Functions and Types
    by N Ramsey
    posted to programming ocaml haskell fsharp dsl dsel by namin to the group Lambda the Ultimate on 2008-06-27 23:47:15 as **** along with 1 group functional programming
  • Linear Contexts and the Sharing Functor: Techniques for Symbolic Computation
    by G Huet
    posted to zipper programming ocaml haskell fsharp data-structures by namin to the group Lambda the Ultimate on 2008-06-27 23:30:06 as **** along with 5 people and 2 groups dherman eaubin JacquesC zednenem EdwardKmett functional programming NU-PRL
  • The Role of Programming in the Formulation of Ideas
    (2002)
    by GJ Sussman, J Wisdom
    posted to theory programming ai by namin to the group Lambda the Ultimate on 2008-05-20 21:42:04 as **
  • Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl)
    (April 2008)
    by O Kiselyov, WE Byrd, DP Friedman, C Shan
    posted to prolog programming logic kanren haskell dsl dsel declarative by namin to the group Lambda the Ultimate on 2008-05-18 08:03:17 as **
  • Monads for functional programming
    (1993)
    by Philip Wadler
    edited by ~broy
    posted to theory programming monads haskell category-theory by namin to the group Lambda the Ultimate on 2008-05-18 07:33:32 as ** along with 18 people and 3 groups JeffreyPalmer cedricboidin grzegorz jburnim rahul damaru ben_moseley bunge glaubersp mingguo ds conal ariels cdiggins hayeah SamB mmarcus americovargas functional programming SRL SIG
  • Template meta-programming for haskell
    (2002)
    by T Sheard, S Jones
    posted to dsel haskell programming by namin to the group Lambda the Ultimate on 2008-04-11 09:17:50 as ** along with 3 people and 1 group twleung greenrd cedricboidin SRG_at_UCD
  • Well-Shaped Macros
    (2003)
    by R Culpepper, M Felleisen
    posted to dsel macros programming scheme by namin to the group Lambda the Ultimate on 2008-04-11 09:14:56 as **
  • Implementing DSLs in metaOCaml
    (2004), pp. 41-42.
    by Miguel Guerrero, Edward Pizzi, Robert Rosenbaum, Kedar Swadi, Walid Taha
    posted to dsel ocaml programming by namin to the group Lambda the Ultimate on 2008-04-11 09:08:43 as ** along with 6 people and 1 group twleung dherman JacquesC hamish JeffreyPalmer lyongu NU-PRL
  • Calculating Functional Programs
    (2000), pp. 149-202.
    by Jeremy Gibbons
    posted to haskell programming by namin to the group Lambda the Ultimate on 2008-04-11 08:46:16 as ** along with 1 person pedagand
  • DSL Implementation in MetaOCaml, Template Haskell, and C++
    (2004)
    by K Czarnecki, J O'Donnel, J Striegnitz, W Taha
    posted to dsel dsl haskell ocaml programming by namin to the group Lambda the Ultimate on 2008-04-11 08:33:00 as **
  • Generic Programming, Now!
    (April 2006)
    by Ralf Hinze, Andres Löh
    edited by Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring
    posted to haskell programming by namin to the group Lambda the Ultimate on 2008-04-11 04:59:03 as ** along with 1 person bringert
  • Scrap Your Boilerplate: A Practical Design Pattern for Generic Programming
    (2003)
    by Ralf Lämmel, Simon P Jones
    posted to haskell programming by namin to the group Lambda the Ultimate on 2008-04-11 04:53:52 as *** along with 3 people jburnim lomeo bringert
  • Total Functional Programming
    Journal of Universal Computer Science, Vol. 10, No. 7. (2004), pp. 751-768.
    by DA Turner
    posted to programming theory by namin to the group Lambda the Ultimate on 2008-04-08 07:58:04 as *** along with 1 person un_brice
  • Probabilistic Functional Programming in Haskell
    by M Erwig, S Kollmansberger
    posted to haskell probability programming by namin to the group Lambda the Ultimate on 2008-04-06 08:40:48 as **
  • Packrat Parsing: Simple, Powerful, Lazy, Linear Time
    (Oct 2002)
    by Bryan Ford
    posted to haskell parsers programming by namin to the group Lambda the Ultimate on 2008-04-06 08:37:12 as ** along with 3 people and 1 group dherman jrw donniejones18 NU-PRL
  • Extensible pattern matching via a lightweight language extension
    SIGPLAN Not., Vol. 42, No. 9. (September 2007), pp. 29-40.
    by Don Syme, Gregory Neverov, James Margetson
    posted to fsharp programming by namin to the group Lambda the Ultimate on 2008-04-01 07:10:41 as ** along with 2 people jrw tautologico
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/group/4254/tag/programming

    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.