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

voigts seq [11 articles]

Neue Publikationen in voigts Bibliothek eingetragen unter dem Bezeichner: seq. You can also see everyone's seq.
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/user/voigt/tag/seq

    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.