新規登録 | ログイン | FAQ      [?] 

タグ: generics [59 articles]

Recent papers classified by the tag generics.
  • Chapter 1. Generic Haskell: Practice and Theory
    Lecture Notes in Computer Science : Generic Programming (2003), pp. 1-56.
    by Ralf Hinze, Johan Jeuring
    posted to generics by yallop on 2006-12-14 11:08:17 as ** along with 2 people spl msakai
  • Scrap your boilerplate with class: extensible generic functions
    (2005), pp. 204-215.
    by Ralf L&\#228;mmel, Simon P Jones
    posted to generics syb by yallop on 2006-12-14 11:13:16 as ** along with 6 people hamish bec voigt kavabean lomeo americovargas
  • A lightweight implementation of generics and dynamics
    (2002), pp. 90-104.
    by James Cheney, Ralf Hinze
    posted to gadts generics by yallop on 2006-12-14 10:57:56 as ** along with 2 people eaubin spl
  • Scrap your boilerplate: a practical design pattern for generic programming
    Vol. 38, No. 3. (March 2003), pp. 26-37.
    by Ralf L&\#228;mmel, Simon P Jones
    posted to generics haskell typing by yallop on 2005-04-23 13:44:08 as ** along with 3 people and 2 groups samth greenrd americovargas NU-PRL SRG_at_UCD
  • TypeCase: a design pattern for type-indexed functions
    (2005), pp. 98-109.
    by Bruno, Jeremy Gibbons
    posted to generics by yallop on 2006-12-14 11:12:49 as ** along with 2 people voigt spl
  • Type-indexed data types
    Science of Computer Programming, Vol. 51, No. 1-2. (May 2004), pp. 117-151.
    by Ralf Hinze, Johan Jeuring, Andres Loh
    posted to generics by yallop on 2006-12-14 11:07:26 as ** along with 1 person hamish
  • Putting curry-howard to work
    (2005), pp. 74-85.
    by Tim Sheard
    posted to curry-howard generics by yallop on 2006-12-14 10:52:06 as ** along with 11 people and 3 groups draganigajic greenrd plaugg thsutton voigt mahler KarlKlose mcclurmc robotact jimburton americovargas Rightscom SRG_at_UCD Lambda the Ultimate
  • Type-safe cast: (functional pearl)
    SIGPLAN Not., Vol. 35, No. 9. (September 2000), pp. 58-67.
    by Stephanie Weirich
    posted to generics typing by yallop on 2006-12-14 11:18:48 as **
  • A generic recursion toolbox for Haskell or: scrap your boilerplate systematically
    (2006), pp. 13-24.
    by Deling Ren, Martin Erwig
    posted to generics syb by yallop on 2006-12-14 11:13:12 as **
  • Essential language support for generic programming
    Vol. 40, No. 6. (June 2005), pp. 73-84.
    by Jeremy G Siek, Jeremy Siek, Andrew Lumsdaine
    posted to generics by yallop on 2006-10-29 22:17:08 as ** along with 3 people thsutton bec jsiek
  • Generics as a Library
    by Bruno, Ralf Hinze, Andres Löh
    posted to generics by yallop on 2006-12-14 11:10:02 as ** along with 1 person americovargas
  • Scrap your boilerplate: a practical design pattern for generic programming
    SIGPLAN Not., Vol. 38, No. 3. (March 2003), pp. 26-37.
    by Ralf L&\#228;mmel, Simon P Jones
    posted to generics syb by yallop on 2006-12-14 11:12:54 as ** along with 1 person marcinzalewski
  • Dependency-style generic haskell
    (2003), pp. 141-152.
    by Andres L&\#246;h, Dave Clarke, Johan Jeuring
    posted to generics by yallop on 2006-12-14 11:07:19 as **
  • Polytypic values possess polykinded types
    Science of Computer Programming, Vol. 43, No. 2-3. ( 2002), pp. 129-159.
    by Ralf Hinze
    posted to generics by yallop on 2006-12-14 11:07:46 as ** along with 2 people draganigajic pedagand
  • PolyP---A Polytypic Programming Language Extension
    (1997), pp. 470-482.
    by Patrik Jansson, Johan Jeuring
    posted to generics polyp by yallop on 2006-12-14 11:06:09 as ** along with 1 person americovargas
  • Scrap more boilerplate: reflection, zips, and generalised casts
    Vol. 39, No. 9. (September 2004), pp. 244-255.
    by Ralf L&\#228;mmel, Simon P Jones
    posted to generics syb by yallop on 2006-12-14 11:13:05 as ** along with 4 people and 2 groups samth greenrd spl americovargas NU-PRL SRG_at_UCD
  • A Generic Programming Extension for Clean
    Lecture Notes in Computer Science : Implementation of Functional Languages : 13th International Workshop, IFL 2002 Stockholm, Sweden, September 24-26, 2001. Selected Papers (2002), 168.
    by Artem Alimarine, Rinus Plasmeijer
    posted to clean generics by yallop on 2006-12-14 10:54:14 as **
  • Generics for the masses
    Vol. 39, No. 9. (September 2004), pp. 236-243.
    by Ralf Hinze
    posted to generics by yallop on 2006-12-14 11:08:09 as ** along with 6 people and 1 group draganigajic ancechu samth spl bringert pedagand NU-PRL
  • Derivable type classes
    (2000)
    by R Hinze, S Jones
    posted to generics typeclasses by yallop on 2006-12-14 11:11:08 as **
  • Compiling Polymorphism Using Intensional Type Analysis
    (1994)
    by Robert Harper, Greg Morrisett
    posted to generics intensional-polymorphism by yallop on 2006-12-14 11:16:47 as **
  • Comparing Approaches to Generic Programming in Haskell
    Datatype-Generic Programming (2007), pp. 72-149.
    by Ralf Hinze, Johan Jeuring, Andres Löh
    posted to comparison datatype-generic generic-haskell generics haskell by spl on 2008-04-04 11:38:26 as read
  • Generics for the masses
    Journal of Functional Programming, Vol. 16, No. 4-5. (2006), pp. 451-483.
    by RALF Hinze
    posted to datatype-generic emgm generics haskell type-classes by spl on 2008-08-27 12:24:07 as **
  • Fun with phantom types
    (27 March 2003), pp. 245-262.
    by Ralf Hinze
    edited by Jeremy Gibbons, Oege de Moor
    posted to dynamically-typed generics phantom-types by spl on 2008-04-23 18:22:43 as ** along with 2 people thsutton jimburton
  • Uniform Boilerplate and List Processing
    (2007), pp. 49-60.
    by Neil Mitchell, Colin Runciman
    posted to boilerplate generics traversals by spl on 2008-06-02 13:11:08 as *** along with 1 person sebfisch
  • Modular Generic Programming with Extensible Superclasses
    (2006), pp. 55-65.
    by Martin Sulzmann, Meng Wang
    posted to extensibility generics haskell type-classes by spl on 2008-04-28 08:04:25 as ** along with 1 person jpbernardy
  • Polytypic Programming in Haskell
    Implementation of Functional Languages (September 2003), pp. 168-184.
    by Ulf Norell, Patrik Jansson
    posted to datatype-generic generics haskell libraries type-classes by spl on 2008-06-06 16:15:56 as **
  • Generic Programming: An Introduction
    Advanced Functional Programming (1999), pp. 28-115.
    by Roland Backhouse, Patrik Jansson, Johan Jeuring, Lambert Meertens
    edited by Doaitse S Swierstra, Pedro R Henriques, José N Oliveira
    posted to category-theory datatype-generic generics introduction libraries polyp unification by spl on 2008-08-08 14:25:57 as *** along with 2 people draganigajic americovargas
  • RepLib: A Library for Derivable Type Classes
    (2006), pp. 1-12.
    by Stephanie Weirich
    posted to deriving generics haskell type-classes by spl on 2008-04-12 20:22:11 as ** along with 3 people zednenem keigoi huitseeker
  • Calculate Polytypically!
    (1996), pp. 1-16.
    by Lambert Meertens
    posted to catamorphism crush datatype-generic generics by spl on 2008-04-29 10:31:42 as **
  • Generalizing generalized tries
    Journal of Functional Programming, Vol. 10, No. 04. (2000), pp. 327-351.
    by Ralf Hinze
    edited by Paul Hudak, Greg Morrisett
    posted to datatype-generic generics haskell rank-2-polymorphism tries by spl on 2008-05-28 17:36:27 as ***
  • Generic Haskell: Applications
    Lecture Notes in Computer Science: Generic Programming, Vol. 2793 (2003), pp. 57-96.
    by Ralf Hinze, Johan Jeuring
    posted to datatype-generic dictionaries generic-haskell generics xml zipper by spl on 2008-04-23 11:02:06 as ***
  • Memo functions, polytypically!
    (6 July 2000)
    by Ralf Hinze
    edited by Johan Jeuring
    posted to datatype-generic generics haskell memoization non-strict-evaluation tries by spl on 2008-05-23 10:36:01 as read
  • Extensible and Modular Generics for the Masses
    Vol. 7 (2006), pp. 199-216.
    by Bruno CDS Oliveira, Ralf Hinze, Andres Löh
    edited by Henrik Nilsson
    posted to ad-hoc-polymorphism datatype-generic emgm expression-problem extensibility generics haskell lightweight modularity type-classes by spl on 2008-03-11 14:18:57 as read along with 1 person americovargas
  • Prototyping Generic Programming in Template Haskell
    Mathematics of Program Construction (2004), pp. 314-333.
    by Ulf Norell, Patrik Jansson
    posted to generics haskell template-haskell by spl on 2008-03-31 10:59:29 as **
  • Generic Views on Data Types
    Mathematics of Program Construction (July 2006), pp. 209-234.
    by Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez
    posted to datatype-generic generic-haskell generics views by spl on 2008-04-21 09:44:21 as *** along with 1 person marcinzalewski
  • PolyP---a polytypic programming language extension
    (1997), pp. 470-482.
    by Patrik Jansson, Johan Jeuring
    posted to polyp haskell generics datatype-generic by spl on 2008-09-24 00:00:50 as ** along with 1 person bringert
  • PolyLib---a library of polytypic functions
    (18 July 1998)
    by Patrik Jansson, Johan Jeuring
    edited by Roland Backhouse, Tim Sheard
    posted to bifunctors datatype-generic generics libraries polyp transpose zip by spl on 2008-06-11 16:36:49 as ***
  • A New Approach to Generic Functional Programming
    (2000), pp. 119-132.
    by Ralf Hinze
    posted to datatype-generic generics haskell type-indexed by spl on 2008-05-24 13:17:48 as **
  • Datatype-Generic Programming
    Datatype-Generic Programming (2007), pp. 1-71.
    by Jeremy Gibbons
    posted to datatype-generic design-patterns generics haskell by spl on 2008-04-03 12:47:52 as read along with 3 people jpbernardy americovargas marcinzalewski
  • Functor Pulling
    (18 July 1998)
    by Lambert Meertens
    edited by Roland Backhouse, Tim Sheard
    posted to category-theory crush functors generics transpose by spl on 2008-06-06 15:47:32 as *** along with 1 person draganigajic
  • Open Data Types and Open Functions
    (2006), pp. 133-144.
    by Andres Löh, Ralf Hinze
    posted to expression-problem extensibility generics haskell lightweight mutual-recursion open by spl on 2008-02-24 16:19:16 as ** along with 1 person yallop
  • Derivable Type Classes
    (17 September 2000)
    by Ralf Hinze, Simon P Jones
    edited by Graham Hutton
    posted to deriving generics haskell type-classes by spl on 2008-04-12 20:09:29 as *** along with 3 people zednenem conal americovargas
  • notes Clowns to the Left of me, Jokers to the right: Dissecting Data Structures
    SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 287-295.
    by Conor Mcbride
    posted to bifunctors datatype-generic derivatives functors generics haskell zipper by spl on 2008-01-25 19:05:36 as read along with 2 people bobob beete
  • Featherweight Java: A Minimal Core Calculus for Java and GJ
    Vol. 34(10) (1999), pp. 132-146.
    by Atshushi Igarashi, Benjamin Pierce, Philip Wadler
    edited by Loren Meissner
    posted to generics java by samth on 2005-02-06 21:31:22 as read along with 4 people and 1 group yang KarlKlose sjrogers mcclurmc NU-PRL
  • Fortgeschrittene Programmierung mit Java 5
    (30 November 2004)
    by Johannes Nowak
    posted to diplomarbeit generics java by moborg on 2007-07-07 15:14:07 as ***
  • Higher-order + Polymorphic = Reusable
    (May 1997)
    by Simon Thompson
    posted to c-plus-plus functional-programming generics haskell oop type-theory by mcclurmc on 2007-12-13 15:04:02 as **
  • Generalized algebraic data types and object-oriented programming
    (2005), pp. 21-40.
    by Andrew Kennedy, Claudio V Russo
    posted to gadt generics oop type-theory by mcclurmc on 2007-12-13 16:12:34 as **** along with 3 people MattOConnor hannes wadler
  • Influence of mandatory generic substitution on pharmaceutical sales patterns: a national study over five years
    BMC Health Services Research, Vol. 8, No. 1. (2008)
    by Karolina Andersson, Max Petzold, Peter Allebeck, Anders Carlsten
    posted to generics by kusjasherb on 2008-03-01 07:55:44 as ****
  • Optimising Embedded DSLs Using Template Haskell
    Lecture Notes in Computer Science, Vol. 3286 (January 2004), pp. 186-205.
    by Sean Seefried, Manuel Chakravarty, Gabriele Keller
    posted to dsel functional-programming generics haskell by jimburton on 2008-02-29 12:16:04 as *** along with 2 people mbravenboer keigoi
  • Template meta-programming for Haskell
    (2002), pp. 1-16.
    by Tim Sheard, Simon Peyton Jones
    posted to functional-programming generics haskell meta-programming by jimburton on 2008-02-29 12:17:38 as *** along with 6 people and 1 group twleung dherman JacquesC ryanc bringert wtribbey NU-PRL
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/tag/generics

    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.