registrieren | anmelden | FAQ      [?] 

Tag parametricity [36 articles]

Recent papers classified by the tag parametricity.
  • Formal parametric polymorphism
    (1993), pp. 157-170.
    by Mart&\#237;n Abadi, Luca Cardelli, Pierre-Louis Curien
    posted to free-theorems functional-programming logical-relations parametricity polymorphism types by voigt on 2005-09-12 09:18:41 as **
  • Theorems for free!
    (1989), pp. 347-359.
    by Philip Wadler
    posted to denotational-semantics free-theorems functional-programming lambda-calculus logical-relations parametricity polymorphism type-classes types by voigt on 2005-09-13 08:43:30 as read along with 6 people byorgey amp269 spl paper_jac robdockins nominolo
  • Semantic parametricity in polymorphic lambda calculus
    Logic in Computer Science, 1988. LICS '88., Proceedings of the Third Annual Symposium on (1988), pp. 274-279.
    by PJ Freyd, JY Girard, A Scedrov, PJ Scott
    posted to lambda-calculus parametricity polymorphism types by voigt on 2005-09-12 09:05:27 as *** along with 1 person msakai
  • 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
  • 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
  • Parametric polymorphism and operational equivalence
    Mathematical. Structures in Computer Science, Vol. 10, No. 3. (June 2000), pp. 321-359.
    by Andrew M Pitts
    posted to call-by-name free-theorems functional-programming lambda-calculus logical-relations operational-semantics parametricity pcf polymorphism types by voigt on 2005-09-09 13:00:39 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
  • 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
  • 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
  • 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
  • Parametric polymorphism for XML
    Vol. 40, No. 1. (January 2005), pp. 50-62.
    by Haruo Hosoya, Alain Frisch, Giuseppe Castagna
    posted to parametricity polymorphism types xml by voigt on 2005-09-13 12:41:28 as **
  • 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
  • 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
  • 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
  • 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
  • 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 **
  • Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion
    by GM Bierman, AM Pitts, CV Russo
    posted to abadi linear logic operational parametricity plotkin relational semantics by varming on 2008-02-25 18:32:06 as read
  • Semantics of First Order Parametric Specifications
    FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 1999. Proceedings, Volume I (1999), pp. 709-709.
    by Dusko Pavlovic
    posted to coherent-categories coherent-logic composability parametricity by Scis0000002 on 2007-08-04 14:08:13 as **
  • Generalizing Parametricity Using Information-flow
    (2005), pp. 62-71.
    by Geoffrey Washburn
    posted to parametricity by Scis0000002 on 2007-08-24 08:31:27 as ** along with 1 person bunge
  • Parametric and Nonparametric Volatility Measurement
    by Torben G Andersen, Tim Bollerslev, Francis X Diebold
    posted to nonparametricity parametricity volatility by Scis0000002 on 2007-12-17 00:11:22 as **
  • Parametricity as isomorphism
    Theoretical Computer Science, Vol. 136, No. 1. (1994), pp. 163-181.
    by Edmund Robinson
    posted to isomorphism parametricity by scis0000001 on 2006-12-29 14:42:12 as ** along with 1 person msakai
  • A Logic for Parametric Polymorphism
    (1993), pp. 361-375.
    by Gordon D Plotkin, Mart∈ Abadi
    posted to logic parametricity by robdockins on 2008-04-20 22:21:35 as **
  • notes ⊤⊤-closed relations and admissibility
    Mathematical Structures in Computer Science, Vol. 10, No. 03. (2000), pp. 313-320.
    by Martín Abadi
    posted to polymorphism parametricity operational-semantics by msakai on 2008-09-28 09:38:52 as read
  • Girard translation and logical predicates
    Journal of Functional Programming, Vol. 10 (2000), pp. 77-89.
    by M Hasegawa
    posted to lambda-calculi parametricity by kozima on 2007-01-07 07:10:14 as read
  • Translating Dependency into Parametricity
    by Stephen T Steve
    posted to dependency lambda-calculi modal-logic parametricity by kozima on 2006-02-02 12:08:09 as **
  • Foundations for Programming Languages (Foundations of Computing)
    (01 September 1996)
    by John C Mitchell
    posted to denotational languages logical parametricity polymorphism programming relation semantics by kontakte on 2006-02-10 17:29:18 as *** along with 2 people voigt Malcohol
  • Translating dependency into parametricity
    SIGPLAN Not., Vol. 39, No. 9. (September 2004), pp. 115-125.
    by Stephen Tse, Steve Zdancewic
    posted to parametricity by dherman to the group NU-PRL on 2004-12-23 17:28:36
  • Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism
    Vol. 38, No. 9. (September 2003), pp. 249-262.
    by Geoffrey Washburn, Stephanie Weirich
    posted to hoas morphisms parametricity by dherman to the group NU-PRL on 2004-12-25 21:22:03 along with 2 people eaubin scis0000001
  • The Girard-Reynolds Isomorphism
    Lecture Notes in Computer Science, Vol. 2215 (2001)
    by Philip Wadler
    posted to curry-howard girard-reynolds lambda-cube logical-relations parametricity by dherman to the group NU-PRL on 2004-12-29 15:29:13
  • Lazy functional state threads
    Vol. 29, No. 6. (June 1994), pp. 24-35.
    by John Launchbury, SLP Simon
    posted to monads parametricity by dherman to the group NU-PRL on 2004-12-23 17:27:42 along with 5 people and 1 group draganigajic twleung greenrd tautologico pedagand SRG_at_UCD
  • Subtyping and Parametricity
    (1994), pp. 310-319.
    by Gordon Plotkin, Mart∈ Abadi, Luca Cardelli
    posted to parametricity per subtyping oop by dherman to the group NU-PRL on 2004-12-25 20:46:36
  • Parametricity as subtyping
    (1992), pp. 281-292.
    by Qingming Ma
    posted to oop parametricity per subtyping by dherman to the group NU-PRL on 2004-12-25 20:46:58
  • Theorems for Free!
    (1989), pp. 347-359.
    by Philip Wadler
    posted to parametricity type-theory by dherman on 2004-12-29 15:34:17 along with 16 people and 2 groups draganigajic samth JacquesC greenrd rwtodd zednenem msakai lomeo ryanc tov jwm0123 KarlKlose cdiggins dfisher americovargas pedagand NU-PRL SRG_at_UCD
  • Theorems for Free!
    (1989), pp. 347-359.
    by Philip Wadler
    posted to free parametricity theorems wadler by conal on 2007-10-31 19:32:28 as *** along with 1 person mmarcus
  • State in Haskell
    Lisp and Symbolic Computation, Vol. 8, No. 4. (1995), pp. 293-341.
    by John Launchbury, Simon
    posted to haskell parametricity runst by conal on 2007-11-30 23:38:50 as read
  • Lazy Functional State Threads
    (1994), pp. 24-35.
    by John Launchbury, Simon
    posted to lazy parametricity state by conal on 2007-12-10 22:11:19 as read along with 2 people tov americovargas
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/tag/parametricity

    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.