registrieren | anmelden | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

voigts haskell [50 articles]

Neue Publikationen in voigts Bibliothek eingetragen unter dem Bezeichner: haskell. You can also see everyone's haskell.
  • Asymptotic Improvement of Computations over Free Monads
    Mathematics of Program Construction, Vol. 5133 (July 2008), pp. 388-403.
    by Janis Voigtländer
    edited by Christine Paulin-Mohring, Philippe Audebaud
    posted to continuations deforestation functional-programming generic-programming haskell monads optimization polymorphism program-transformation rank-2 type-classes types by voigt on 2008-07-28 10:23:57 as read
  • Semantics and Pragmatics of New Shortcut Fusion Rules
    Functional and Logic Programming, Proceedings, Vol. 4989 (April 2008), pp. 163-179.
    by Janis Voigtländer
    edited by Jacques Garrigue, Manuel Hermenegildo
    posted to circular-programs deforestation free-theorems functional-programming haskell lazy-evaluation optimization parametricity polymorphism program-transformation rank-2 selective-strictness seq shortcut-deforestation types by voigt on 2008-06-02 09:43:03 as read along with 1 person msakai
  • Much Ado about Two: A Pearl on Parallel Prefix Computation
    SIGPLAN Notices, Vol. 43, No. 1. (January 2008), pp. 29-35.
    by Janis Voigtländer
    edited by Philip Wadler
    posted to free-theorems functional-programming haskell logical-relations parallel-programming parametricity polymorphism types by voigt on 2008-01-28 10:30:44 as read
  • Proving Correctness via Free Theorems: The Case of the destroy/build-Rule
    (January 2008), pp. 13-20.
    by Janis Voigtländer
    edited by Robert Glück, Oege de Moor
    posted to deforestation denotational-semantics free-theorems functional-programming haskell logical-relations parametricity polymorphism program-transformation rank-2 selective-strictness seq shortcut-deforestation types by voigt on 2008-01-28 10:20:36 as read
  • Selective strictness and parametricity in structural operational semantics, inequationally
    Theoretical Computer Science, Vol. 388, No. 1-3. (2007), pp. 290-318.
    by Janis Voigtländer, Patricia Johann
    posted to call-by-name free-theorems functional-programming haskell lambda-calculus laziness lazy-evaluation logical-relations operational-semantics parametricity pcf polymorphism program-transformation rank-2 selective-strictness seq shortcut-deforestation strict-evaluation types by voigt on 2007-12-11 15:51:34 as read
  • The Impact of seq on Free Theorems-Based Program Transformations
    Fundam. Inf., Vol. 69, No. 1-2. (2006), pp. 63-102.
    by Patricia Johann, Janis Voigtländer
    posted to denotational-semantics free-theorems functional-programming haskell laziness lazy-evaluation logical-relations parametricity polymorphism program-transformation rank-2 selective-strictness seq shortcut-deforestation strict-evaluation types by voigt on 2007-06-25 11:10:15 as read
  • Fun with functional dependencies
    (2001)
    by T Hallgren
    posted to functional-dependencies functional-programming haskell logic-programming type-classes types by voigt on 2006-10-06 12:03:23 as ** along with 4 people yallop spl huitseeker jimburton
  • Bananas in space: extending fold and unfold to exponential types
    (1995), pp. 324-333.
    by Erik Meijer, Graham Hutton
    posted to category-theory denotational-semantics free-theorems functional-programming generic-programming haskell polymorphism type-classes types by voigt on 2006-05-08 11:27:35 as ** along with 5 people and 1 group JacquesC jyasskin msakai dmitri83 spl NU-PRL
  • Fast and loose reasoning is morally correct
    Vol. 41, No. 1. (January 2006), pp. 206-217.
    by Nils A Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons
    posted to call-by-name call-by-value category-theory denotational-semantics functional-programming haskell laziness lazy-evaluation logical-relations ml selective-strictness seq strict-evaluation types by voigt on 2006-03-21 11:28:11 as read along with 4 people and 1 group p1738j aleks Benja paper_jac Compilers
  • Structuring quantum effects: superoperators as arrows
    (25 Jan 2005)
    by JK Vizzotto, T Altenkirch, A Sabry
    posted to arrows functional-programming haskell quantum-computation side-effects types by voigt on 2005-12-09 09:19:04 as ** along with 3 people jrw jwm0123 MarkEveritt
  • Monads and Effects
    (2002), pp. 42-122.
    by Nick Benton, John Hughes, Eugenio Moggi
    posted to haskell monads functional-programming side-effects types by voigt on 2005-11-10 10:05:20 as **
  • Functional Programming with Overloading and Higher-Order Polymorphism
    (1995), pp. 97-136.
    by Mark P Jones
    posted to functional-programming haskell polymorphism type-classes types by voigt on 2005-11-10 09:14:52 as ** along with 1 person bringert
  • A comparative study of language support for generic programming
    Vol. 38, No. 11. (November 2003), pp. 115-134.
    by Ronald Garcia, Jaakko Jarvi, Andrew Lumsdaine, Jeremy Siek, Jeremiah Willcock
    posted to generic-programming haskell types by voigt on 2005-10-25 12:52:21 as ** along with 1 person and 1 group dherman NU-PRL
  • The logic of demand in Haskell
    Journal of Functional Programming, Vol. 15, No. 6. (November 2005), pp. 837-891.
    by William L Harrison, Richard B Kieburtz
    posted to denotational-semantics functional-programming haskell laziness lazy-evaluation programatica selective-strictness seq verification by voigt on 2005-10-11 06:20:16 as ** along with 1 person and 1 group greenrd SRG_at_UCD
  • TypeCase: a design pattern for type-indexed functions
    (2005), pp. 98-109.
    by Bruno C Oliveira, Jeremy Gibbons
    posted to functional-programming generic-programming haskell type-classes types by voigt on 2005-10-06 08:37:09 as ** along with 2 people yallop spl
  • There and back again: arrows for invertible programming
    (2005), pp. 86-97.
    by Artem Alimarine, Sjaak Smetsers, Arjen van Weelden, Marko van Eekelen, Rinus Plasmeijer
    posted to arrows functional-programming generic-programming haskell monads by voigt on 2005-10-06 08:34:34 as ** along with 4 people and 2 groups greenrd tautologico mahler mstone Rightscom SRG_at_UCD
  • Putting curry-howard to work
    (2005), pp. 74-85.
    by Tim Sheard
    posted to dependent-types functional-programming haskell strict-evaluation types by voigt on 2005-10-06 08:32:41 as read along with 11 people and 3 groups draganigajic greenrd plaugg yallop thsutton mahler KarlKlose mcclurmc robotact jimburton americovargas Rightscom SRG_at_UCD Lambda the Ultimate
  • Verifying haskell programs using constructive type theory
    (2005), pp. 62-73.
    by Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell
    posted to dependent-types functional-programming haskell monads theorem-provers types verification by voigt on 2005-10-06 08:30:33 as read along with 4 people and 1 group greenrd p1738j msakai meiersi SRG_at_UCD
  • Haskell on a shared-memory multiprocessor
    (2005), pp. 49-61.
    by Tim Harris, Simon Marlow, Simon Peyton-Jones
    posted to compilers functional-programming haskell monads by voigt on 2005-10-06 08:28:15 as ** along with 8 people hamish jrw tautologico msakai neilc benchambers kazuya brecknell
  • Haskell server pages through dynamic loading
    (2005), pp. 39-48.
    by Niklas Broberg
    posted to applications dsl functional-programming haskell xml by voigt on 2005-10-06 08:26:22 as **
  • Dynamic applications from the ground up
    (2005), pp. 27-38.
    by Don Stewart, Manuel M Chakravarty
    posted to applications dsl functional-programming haskell by voigt on 2005-10-06 08:24:31 as ** along with 6 people draganigajic hamish JeffreyPalmer byorgey jpbernardy pedagand
  • Haskell ready to dazzle the real world
    (2005), pp. 17-26.
    by Martijn M Schrage, Arjan van Ijzendoorn, Linda C van der Gaag
    posted to applications functional-programming haskell by voigt on 2005-10-06 08:22:18 as ** along with 5 people and 1 group greenrd p1738j kowey shimomura wtribbey SRG_at_UCD
  • Darcs: distributed version management in Haskell
    (2005), pp. 1-4.
    by David Roundy
    posted to applications functional-programming haskell by voigt on 2005-10-06 08:19:13 as ** along with 2 people p1738j msakai
  • Halfs: a haskell filesystem
    (2005), pp. 116-116.
    by Isaac Jones
    posted to embedded-systems functional-programming haskell operating-systems by voigt on 2005-10-06 08:08:06 as **
  • Monadic augment and generalised short cut fusion
    (2005), pp. 294-305.
    by Neil Ghani, Patricia Johann, Tarmo Uustalu, Varmo Vene
    posted to category-theory functional-programming generic-programming haskell monads optimization polymorphism program-transformation rank-2 shortcut-deforestation type-classes types by voigt on 2005-09-28 09:56:19 as read along with 2 people msakai wtribbey
  • Associated type synonyms
    (2005), pp. 241-253.
    by Manuel MT Chakravarty, Gabriele Keller, Simon Peyton-Jones
    posted to functional-dependencies functional-programming generic-programming haskell polymorphism type-classes types by voigt on 2005-09-28 09:48:28 as read along with 4 people and 1 group greenrd yallop kinaba americovargas SRG_at_UCD
  • Scrap your boilerplate with class: extensible generic functions
    (2005), pp. 204-215.
    by Ralf Lämmel, Simon Peyton-Jones
    posted to functional-programming generic-programming haskell type-classes types by voigt on 2005-09-28 09:43:26 as ** along with 6 people hamish yallop bec kavabean lomeo americovargas
  • Backtracking, interleaving, and terminating monad transformers: (functional pearl)
    (2005), pp. 192-203.
    by Oleg Kiselyov, Chung-Chieh Shan, Daniel P Friedman, Amr Sabry
    posted to continuations functional-programming haskell monads by voigt on 2005-09-28 09:39:20 as ** along with 4 people and 2 groups greenrd mahler msakai AndreasSchropp Rightscom SRG_at_UCD
  • Scrap your nameplate: (functional pearl)
    (2005), pp. 180-191.
    by James Cheney
    posted to functional-programming generic-programming haskell nominal-abstract-syntax by voigt on 2005-09-28 09:36:40 as ** along with 3 people and 1 group greenrd msakai keigoi SRG_at_UCD
  • High-level views on low-level representations
    (2005), pp. 168-179.
    by Iavor S Diatchki, Mark P Jones, Rebekah Leslie
    posted to dsl functional-dependencies functional-programming haskell operating-systems type-classes types by voigt on 2005-09-28 09:31:00 as read along with 1 person mmuecke
  • Qualified types for MLF
    (2005), pp. 144-155.
    by Daan Leijen, Andres Löh
    posted to functional-programming haskell polymorphism rank-2 type-classes types by voigt on 2005-09-28 09:26:34 as **
  • 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 operating-systems programatica side-effects verification by voigt on 2005-09-28 09:22:49 as read along with 6 people and 1 group draganigajic pejo hannes mahler mstone pedagand Rightscom
  • Dynamic optimization for functional reactive programming using generalized algebraic data types
    (2005), pp. 54-65.
    by Henrik Nilsson
    posted to arrows dsl functional-programming haskell optimization types by voigt on 2005-09-28 08:48:42 as ** along with 8 people and 1 group greenrd zednenem josefs robennals conal serebryakov blue_entropy bhuber SRG_at_UCD
  • Eager Haskell: resource-bounded execution yields efficient iteration
    (2002), pp. 38-50.
    by Jan-Willem Maessen
    posted to compilers functional-programming haskell laziness lazy-evaluation selective-strictness seq strict-evaluation by voigt on 2005-09-26 07:54:18 as ** along with 2 people and 1 group greenrd MattOConnor SRG_at_UCD
  • The essence of functional programming
    (1992), pp. 1-14.
    by Philip Wadler
    posted to functional-programming haskell monads side-effects types by voigt on 2005-09-22 08:44:22 as read along with 15 people and 3 groups pedagand draganigajic assnoodles samth JeffreyPalmer rahul lyongu pintman shilad spl tmiya mstone calvins hayeah frej NU-PRL GroupLens SRL
  • What is a purely functional language?
    Journal of Functional Programming, Vol. 8, No. 1. (January 1998), pp. 1-22.
    by Amr Sabry
    posted to call-by-name call-by-need call-by-value functional-programming haskell lambda-calculus monads side-effects by voigt on 2005-09-21 10:16:41 as **
  • Haskell's overlooked object system
    (10 Sep 2005)
    by Oleg Kiselyov, Ralf Lämmel
    posted to functional-programming haskell objects polymorphism subtyping type-classes types by voigt on 2005-09-13 14:16:56 as ** along with 5 people and 1 group greenrd AndreasSchropp mgran mcclurmc jimburton SRG_at_UCD
  • Associated types with class
    (2005), pp. 1-13.
    by Manuel MT Chakravarty, Gabriele Keller, Simon Peyton-Jones, Simon Marlow
    posted to functional-dependencies functional-programming generic-programming haskell polymorphism type-classes types by voigt on 2005-09-13 12:38:53 as read along with 10 people and 2 groups samth greenrd zednenem bec msakai bonotake spl gkuan americovargas jpbernardy NU-PRL SRG_at_UCD
  • Monadic regions
    Vol. 39, No. 9. (September 2004), pp. 103-114.
    by Matthew Fluet, Greg Morrisett
    posted to functional-programming haskell monads parametricity polymorphism side-effects types by voigt on 2005-09-13 12:22:01 as ** along with 4 people and 1 group JeffreyPalmer zednenem josefs mahler Rightscom
  • Algebra of Programming, The
    (26 September 1996)
    by Richard Bird, Oege de Moor
    posted to category-theory functional-programming haskell program-transformation types by voigt on 2005-09-13 08:28:15 as read along with 2 people oryp6518 voronov
  • The Semantic Layers of Timber
    Lecture Notes in Computer Science, Vol. 2895 (January 2003), pp. 339-356.
    by Magnus Carlsson, Johan Nordlander, Dick Kieburtz
    posted to concurrency embedded-systems functional-programming haskell monads objects real-time side-effects by voigt on 2005-09-13 08:26:38 as read along with 1 person pejo
  • Bridging the gulf: a common intermediate language for ML and Haskell
    (1998), pp. 49-61.
    by Simon Peyton-Jones, Mark Shields, John Launchbury, Andrew Tolmach
    posted to call-by-need call-by-value functional-programming haskell laziness lazy-evaluation ml monads seq side-effects strict-evaluation by voigt on 2005-09-13 08:23:30 as read along with 5 people and 1 group JacquesC JeffreyPalmer rwtodd spl kowey NU-PRL
  • Tree Transducer Composition as Program Transformation
    (2005)
    by Janis Voigtländer
    posted to accumulating-parameters attribute-grammars call-by-name call-by-need circular-programs deforestation functional-programming haskell induction-proofs laziness lazy-evaluation multiple-traversals operational-semantics optimization program-transformation tree-transducers tupling by voigt on 2005-09-12 07:50:09 as read
  • Parametricity and Unboxing with Unpointed Types
    Vol. 1058 (1996), pp. 204-218.
    by John Launchbury, Ross Paterson
    edited by Hanne R Nielson
    posted to denotational-semantics free-theorems functional-programming haskell logical-relations parametricity polymorphism seq type-classes types by voigt on 2005-09-09 12:58:40 as read
  • Functional array fusion
    Vol. 36, No. 10. (October 2001), pp. 205-216.
    by Manuel MT Chakravarty, Gabriele Keller
    posted to functional-programming haskell optimization by voigt on 2005-09-09 12:43:37 as ** along with 4 people and 1 group greenrd balicea tov wtribbey SRG_at_UCD
  • Using Circular Programs to Deforest in Accumulating Parameters
    Higher-Order and Symbolic Computation, Vol. 17, No. 1 - 2. (March 2004), pp. 129-163.
    by Janis Voigtländer
    posted to accumulating-parameters circular-programs deforestation functional-programming haskell laziness lazy-evaluation multiple-traversals optimization program-transformation tree-transducers tupling by voigt on 2005-09-09 09:59:46 as read
  • notes Composition of functions with accumulating parameters
    Journal of Functional Programming, Vol. 14, No. 3. (May 2004), pp. 317-363.
    by Janis Voigtländer, Armin Kühnemann
    posted to accumulating-parameters attribute-grammars deforestation functional-programming haskell optimization program-transformation tree-transducers by voigt on 2005-09-09 09:57:05 as read along with 1 person pejo
  • notes Free theorems in the presence of seq
    SIGPLAN Notices, Vol. 39, No. 1. (January 2004), pp. 99-110.
    by Patricia Johann, Janis Voigtländer
    edited by Neil D Jones, Xavier Leroy
    posted to denotational-semantics free-theorems functional-programming haskell laziness lazy-evaluation logical-relations parametricity polymorphism program-transformation rank-2 selective-strictness seq shortcut-deforestation strict-evaluation types by voigt on 2005-09-09 09:52:24 as read
  • notes Concatenate, reverse and map vanish for free
    SIGPLAN Notices, Vol. 37, No. 9. (October 2002), pp. 14-25.
    by Janis Voigtländer
    edited by Peyton, Mitchell Wand
    posted to accumulating-parameters denotational-semantics free-theorems functional-programming haskell logical-relations optimization parametricity polymorphism program-transformation rank-2 seq shortcut-deforestation types by voigt on 2005-09-09 09:46:55 as read along with 4 people and 1 group JacquesC rwtodd pejo msakai NU-PRL
  • notes Using circular programs to deforest in accumulating parameters
    (September 2002), pp. 126-137.
    by Janis Voigtländer
    edited by Kenichi Asai, Wei-Ngan Chin
    posted to accumulating-parameters circular-programs deforestation functional-programming haskell laziness lazy-evaluation multiple-traversals optimization program-transformation tree-transducers tupling by voigt on 2005-09-09 09:44:41 as read
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/user/voigt/tag/haskell

    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.