注册 | 登录 | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

voigt's library [127 articles]

最近录入 voigt's 文献库.
  • 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
  • Formal Efficiency Analysis for Tree Transducer Composition
    Theory of Computing Systems, Vol. 41, No. 4. (6 December 2007), pp. 619-689.
    by Janis Voigtländer
    posted to accumulating-parameters call-by-name deforestation functional-programming program-transformation tree-transducers by voigt on 2007-12-11 16:03:04 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
  • Deaccumulation techniques for improving provability
    Journal of Logic and Algebraic Programming, Vol. 71, No. 2. (April 2007), pp. 79-113.
    by Jürgen Giesl, Armin Kühnemann, Janis Voigtländer
    posted to accumulating-parameters functional-programming induction-proofs program-transformation theorem-provers tree-transducers verification by voigt on 2007-06-25 11:31:13 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
  • Datatypes and Subtyping
    (1998)
    by Haruo Hosoya, Benjamin C Pierce, David N Turner
    posted to subtyping types by voigt on 2006-10-09 09:21:44 as ** along with 1 person tautologico
  • The semantics of future and its use in program optimization
    (1995), pp. 209-220.
    by Cormac Flanagan, Matthias Felleisen
    posted to compilers functional-programming operational-semantics optimization parallel-programming by voigt on 2006-10-06 12:10:34 as ** along with 3 people and 3 groups samth A_Olympia dsilva NU-PRL Philosophy_of_Information Blog_and_Wiki_Research
  • Adoption and focus: practical linear types for imperative programming
    Vol. 37, No. 5. (May 2002), pp. 13-24.
    by Manuel Fahndrich, Robert Deline
    posted to imperative-programming linear-logic types by voigt on 2006-10-06 12:05:32 as ** along with 2 people and 1 group dherman bec NU-PRL
  • 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
  • Automatic management of operating-system resources
    (1997), pp. 274-279.
    by Olin Shivers
    posted to applications functional-programming operating-systems by voigt on 2006-10-06 11:55:03 as ** along with 1 person alec
  • 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
  • Adventures in time and space
    Vol. 41, No. 1. (January 2006), pp. 168-179.
    by Norman Danner, James S Royer
    posted to call-by-value complexity-analysis denotational-semantics functional-programming lambda-calculus operational-semantics pcf types by voigt on 2006-03-21 11:26:19 as **
  • Polymorphic regular tree types and patterns
    Vol. 41, No. 1. (January 2006), pp. 103-114.
    by J&\#233;r&\#244;me Vouillon
    posted to automata polymorphism types xml by voigt on 2006-03-21 11:23:14 as **
  • Foundations for Programming Languages (Foundations of Computing)
    (01 September 1996)
    by John C Mitchell
    posted to functional-programming lambda-calculus types by voigt on 2006-03-09 14:09:54 as ** along with 2 people kontakte Malcohol
  • Denotational semantics: The Scott-Strachey approach to programming language theory
    by Joseph Stoy
    posted to denotational-semantics functional-programming lambda-calculus side-effects by voigt on 2006-03-09 14:07:27 as ** along with 1 person mstone
  • 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
  • A core calculus of dependency
    (1999), pp. 147-160.
    by Mart&\#237;n Abadi, Anindya Banerjee, Nevin Heintze, Jon G Riecke
    posted to functional-programming monads types by voigt on 2005-11-30 07:59:13 as ** along with 2 people keigoi bfraser
  • Why no one uses functional languages
    SIGPLAN Not., Vol. 33, No. 8. (August 1998), pp. 23-27.
    by Philip Wadler
    posted to functional-programming by voigt on 2005-11-21 13:28:04 as read along with 10 people and 6 groups samth twleung dherman jacob hamish greenrd yish robennals umbra ryanc NU-PRL mathgamespatterns SRG_at_UCD dtl vds-arg eni
  • Logical Relations for Monadic Types
    (2002), pp. 553-568.
    by Jean Goubault-Larrecq, Slawomir Lasota, David Nowak
    posted to functional-programming logical-relations monads types by voigt on 2005-11-17 13:28:10 as **
  • 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
  • The Reasoned Schemer
    (01 July 2005)
    by Daniel P Friedman, William E Byrd, Oleg Kiselyov
    posted to scheme functional-programming logic-programming by voigt on 2005-11-09 13:27:12 as ** along with 2 people ryanc jasmithoffice
  • Notions of Computation Determine Monads
    (2002), pp. 342-356.
    by Gordon D Plotkin, John Power
    posted to functional-programming monads by voigt on 2005-11-03 10:07:37 as **
  • Operational reasoning for functions with local state
    (1998), pp. 227-274.
    by AM Pitts, IDB Stark
    posted to functional-programming operational-semantics types by voigt on 2005-11-02 14:10:34 as **
  • Representing layered monads
    (1999), pp. 175-188.
    by Andrzej Filinski
    posted to continuations functional-programming ml monads scheme side-effects types by voigt on 2005-11-02 06:25:37 as ** along with 2 people and 1 group samth JeffreyPalmer NU-PRL
  • Highlights of the history of the lambda-calculus
    (1982), pp. 216-225.
    by Barkley J Rosser
    posted to functional-programming lambda-calculus by voigt on 2005-11-01 10:01:22 as ** along with 9 people and 1 group hamish jrw rahul damaru pintman wadler ben_moseley bunge ds SRL
  • Taming effects with monadic typing
    Vol. 34, No. 1. (January 1998), pp. 51-62.
    by Richard B Kieburtz
    posted to call-by-value functional-programming ml side-effects strict-evaluation types by voigt on 2005-10-28 14:12:38 as ** along with 1 person Scis0000002
  • Correctness of monadic state: an imperative call-by-need calculus
    (1998), pp. 62-74.
    by Zena M Ariola, Amr Sabry
    posted to call-by-name call-by-need functional-programming laziness lazy-evaluation monads side-effects types by voigt on 2005-10-28 14:10:26 as read
  • 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
  • On a monadic semantics for freshness
    Theoretical Computer Science, Vol. 342, No. 1. (6 September 2005), pp. 28-55.
    by Mark R Shinwell, Andrew M Pitts
    posted to functional-programming monads nominal-abstract-syntax by voigt on 2005-10-25 12:51:03 as ** along with 1 person and 1 group dherman NU-PRL
  • The dual of substitution is redecoration
    (2002), pp. 99-110.
    by Tarmo Uustalu, Varmo Vene
    posted to category-theory functional-programming monads types by voigt on 2005-10-20 07:57:37 as ** along with 7 people and 1 group greenrd jrw greg_restall zednenem josefs msakai EdwardKmett SRG_at_UCD
  • Dependent types in practical programming
    (1999), pp. 214-227.
    by Hongwei Xi, Frank Pfenning
    posted to dependent-types functional-programming ml types by voigt on 2005-10-17 09:41:02 as ** along with 8 people and 1 group rgrig yallop tautologico japple kavabean geishagirls rysavy jimburton SRG_at_UCD
  • Automata theory for XML researchers
    SIGMOD Rec., Vol. 31, No. 3. (September 2002), pp. 39-46.
    by Frank Neven
    posted to automata xml by voigt on 2005-10-13 08:22:50 as ** along with 3 people and 5 groups andytseng kinaba seabay Blog_and_Wiki_Research CSCW OpenArchive P2P XMLDataManagement
  • Processing XML streams with deterministic automata and stream indexes
    ACM Trans. Database Syst., Vol. 29, No. 4. (December 2004), pp. 752-788.
    by Todd J Green, Ashish Gupta, Gerome Miklau, Makoto Onizuka, Dan Suciu
    posted to automata streams xml by voigt on 2005-10-13 08:19:31 as ** along with 2 people and 5 groups seabay ccipres Blog_and_Wiki_Research CSCW OpenArchive P2P XMLDataManagement
  • A formal model for an expressive fragment of XSLT
    Inf. Syst., Vol. 27, No. 1. (March 2002), pp. 21-39.
    by Geert J Bex, Sebastian Maneth, Frank Neven
    posted to tree-transducers xml by voigt on 2005-10-12 06:16:32 as ** along with 1 person and 5 groups seabay Blog_and_Wiki_Research CSCW OpenArchive P2P XMLDataManagement
  • 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
  • The Functional Approach to Data Management: Modeling, Analyzing, and Integrating Heterogeneous Data
    (05 November 2003)
    by Peter MD Gray
    edited by Peter MD Gray, Larry Kerschberg, Peter JH King, Alexandra Poulovassilis
    posted to applications functional-programming monads xml by voigt on 2005-10-07 11:48:00 as ** along with 1 person and 1 group mahler Rightscom
  • A Semi-Monad for Semi-structured Data
    Vol. 1973 (2001), 263.
    by Mary Fernandez, Jerome Simeon, Philip Wadler
    posted to monads types xml by voigt on 2005-10-07 11:43:29 as **
  • 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 12 people and 3 groups fvogels 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 9 people masteraka 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
    • ◇温馨提示◇本页的引用地址为： http://www.citeulike.org/user/voigt

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