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

voigt types [66 articles]

最近 voigt さんのライブラリに追加された論文の中から タグ types. You can also see everyone's types.
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • A short survey of isomorphisms of types
    Mathematical Structures in Computer Science, Vol. 15, No. 5. (October 2005), pp. 825-838.
    by Roberto Di Cosmo
    posted to functional-programming lambda-calculus types by voigt on 2005-10-06 07:46:14 as **
  • Computational lambda-calculus and monads
    Logic in Computer Science, 1989. LICS '89, Proceedings., Fourth Annual Symposium on (1989), pp. 14-23.
    by E Moggi
    posted to category-theory denotational-semantics functional-programming lambda-calculus monads side-effects types by voigt on 2005-10-05 07:37:41 as ** along with 8 people and 1 group JeffreyPalmer msakai bonotake dmitri83 aleks EdwardKmett Benja mcclurmc Compilers
  • The Girard-Reynolds isomorphism
    Information and Computation, Vol. 186, No. 2. (1 November 2003), pp. 260-284.
    by Philip Wadler
    posted to free-theorems functional-programming lambda-calculus logical-relations parametricity polymorphism types by voigt on 2005-09-30 14:12:59 as **
  • Prelogical Relations
    Information and Computation, Vol. 178, No. 1. (10 October 2002), pp. 23-43.
    by Furio Honsell, Donald Sannella
    posted to denotational-semantics functional-programming lambda-calculus logical-relations types by voigt on 2005-09-30 14:06:44 as **
  • Relational Interpretations of Recursive Types in an Operational Setting
    Information and Computation, Vol. 155, No. 1-2. (25 November 1999), pp. 3-63.
    by Lars Birkedal, Robert Harper
    posted to continuations functional-programming operational-semantics pcf types by voigt on 2005-09-30 13:59:27 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
  • 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 step-indexed model of substructural state
    (2005), pp. 78-91.
    by Amal Ahmed, Matthew Fluet, Greg Morrisett
    posted to clean functional-programming lambda-calculus operational-semantics types uniqueness by voigt on 2005-09-28 08:57:06 as **
  • 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
  • Programming with Circles, Triangles and Rectangles
    (2003)
    by Erik Meijer, Wolfram Schulte, Gavin Bierman
    posted to types xml by voigt on 2005-09-23 07:53:30 as **
  • 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
  • Monadic encapsulation in ML
    Vol. 34, No. 9. (September 1999), pp. 8-17.
    by Miley Semmelroth, Amr Sabry
    posted to call-by-value functional-programming ml monads side-effects strict-evaluation types by voigt on 2005-09-21 10:22:56 as read along with 1 person and 1 group mahler Rightscom
  • Categorical models for Abadi and Plotkin's logic for parametricity
    Mathematical Structures in Computer Science, Vol. 15, No. 4. (August 2005), pp. 709-772.
    by Lars Birkedal, Rasmus E Mogelberg
    posted to category-theory functional-programming lambda-calculus logical-relations parametricity polymorphism types by voigt on 2005-09-20 13:00:14 as **
  • On understanding types, data abstraction, and polymorphism
    ACM Comput. Surv., Vol. 17, No. 4. (December 1985), pp. 471-523.
    by Luca Cardelli, Peter Wegner
    posted to functional-programming lambda-calculus objects parametricity polymorphism subtyping types by voigt on 2005-09-14 08:16:21 as read along with 7 people and 1 group dalev Bluetulip cogumbreiro nodakai chandlerc marcinzalewski jpbernardy NU-PRL
  • Types and Programming Languages
    (01 March 2002)
    by Benjamin C Pierce
    posted to functional-programming types by voigt on 2005-09-14 08:12:25 as ** along with 17 people and 2 groups draganigajic eaubin greenrd sstrickl cedricboidin dsilva msakai bonotake iga AndreasSchropp cogumbreiro beschmi robotact srccheck jimburton jasmithoffice shimomura SRG_at_UCD Lambda the Ultimate
  • Advanced Topics In Types And Programming Languages
    (19 November 2004)
    by Benjamin C Pierce
    posted to functional-programming ml operational-semantics types by voigt on 2005-09-14 08:06:11 as ** along with 8 people and 1 group draganigajic sstrickl tautologico thsutton lyongu msakai jimburton shimomura Lambda the Ultimate
  • 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
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/voigt/tag/types

    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.