registrieren | anmelden | FAQ      [?] 

Tag polymorphism [313 articles]

Recent papers classified by the tag polymorphism.
  • A logic for parametric polymorphism
    No. 664. (1993), pp. 361-375.
    by Gordon Plotkin, Mart∈ Abadi
    edited by M Bezem, JF Groote
    posted to logic polymorphism system-f by zednenem on 2007-04-14 04:02:58 as ** along with 1 person tautologico
  • First-class Polymorphism with Type Inference
    (JanuaryMay--JanuaryJuly 1997), pp. 483-496.
    by Mark P Jones
    posted to higher-ranked-types impredicative-types polymorphism by zednenem on 2007-08-03 21:23:32 as ****
  • Towards an ML-Style Polymorphic Type System for C
    (1996), pp. 341-355.
    by Geoffrey Smith, Dennis M Volpano
    posted to polymorphism by zednenem on 2008-05-21 07:22:31 as **
  • Functional Programming with Overloading and Higher-Order Polymorphism
    (1995), pp. 97-136.
    by Mark P Jones
    posted to copy overloading polymorphism functional-programming by yoriyuki on 2008-06-06 09:02:14 as ** along with 5 people tautologico bunge ds americovargas pedagand
  • Catechol-O-methyl transferase Val158Met gene polymorphism in schizophrenia: working memory, frontal lobe MRI morphology and frontal cerebral blood flow
    Molecular Psychiatry, Vol. aop, No. current. (25 January 2005)
    by B Ho, TH Wassink, DS O'Leary, VC Sheffield, NC Andreasen
    posted to cbf comt frontal gene lobe memory morphology mri polymorphism schizophrenia working by yanhaomouse on 2006-09-20 10:46:39 as ***
  • Common Sequence Polymorphisms Shaping Genetic Diversity in Arabidopsis thaliana
    Science, Vol. 317, No. 5836. (20 July 2007), pp. 338-342.
    by Richard M Clark, Gabriele Schweikert, Christopher Toomajian, Stephan Ossowski, Georg Zeller, Paul Shinn, Norman Warthmann, Tina T Hu, Glenn Fu, David A Hinds, Huaming Chen, Kelly A Frazer, Daniel H Huson, Bernhard Scholkopf, Magnus Nordborg, Gunnar Ratsch, Joseph R Ecker, Detlef Weigel
    posted to arabidopsis native_variation polymorphism by xwbcn on 2007-07-26 08:15:38 as ** along with 5 people and 1 group maren GeeSharpMinor sstoma braingrind dandaman VirtualPlants
  • DNA polymorphisms in the tetrahydrocannabinolic acid (THCA) synthase gene in "drug-type" and "fiber-type" Cannabis sativa L.
    Forensic Science International, Vol. 159, No. 2-3. (2 June 2006), pp. 132-140.
    by Mareshige Kojoma, Hikaru Seki, Shigeo Yoshida, Toshiya Muranaka
    posted to biosynthesis cannabis cdb dna drug-type fiber-type gene hemp marijuana polymorphism synthase thc thca by xico on 2008-05-23 01:52:35 as **
  • A Functional Polymorphism under Positive Evolutionary Selection in ADRB2 is Associated with Human Intelligence with Opposite Effects in the Young and the Elderly.
    Behavior genetics (15 October 2008)
    by Zoltán Bochdanovits, Florencia M Gosso, Linda van den Berg, Patrizia Rizzu, Tinca J Polderman, Luba M Pardo, Lorna M Houlihan, Michelle Luciano, John M Starr, Sarah E Harris, Ian J Deary, Eco J de Geus, Dorret I Boomsma, Peter Heutink, Danielle Posthuma
    posted to polymorphism b2ar by xdeupi on 2008-10-20 22:08:33 as **
  • A polymorphism within a conserved beta(1)-adrenergic receptor motif alters cardiac function and beta-blocker response in human heart failure.
    Proc Natl Acad Sci U S A, Vol. 103, No. 30. (25 July 2006), pp. 11288-11293.
    by SB Liggett, J Mialet-Perez, S Thaneemit-Chen, SA Weber, SM Greene, D Hodne, B Nelson, J Morrison, MJ Domanski, LE Wagoner, WT Abraham, JL Anderson, JF Carlquist, HJ Krause-Steinrauf, LC Lazzeroni, JD Port, PW Lavori, MR Bristow
    posted to b2ar disease drug genome helix8 ligands polymorphism by xdeupi on 2006-09-05 11:38:25 as ** along with 1 group LabCompMed
  • Clinical consequences of ADR2 polymorphisms
    Pharmacogenomics, Vol. 9, No. 3. (March 2008), pp. 349-358.
    by Hawkins, A Gregory, Weiss, T Scott, Bleecker, R Eugene
    posted to b2ar disease drug genome pharmacology polymorphism review by xdeupi on 2008-05-03 17:12:39 as **
  • Beta2-adrenoceptor gene polymorphisms.
    Pharmacogenet Genomics, Vol. 15, No. 5. (May 2005), pp. 267-275.
    by OE Brodde, K Leineweber
    posted to b2ar polymorphism by xdeupi on 2006-01-11 11:26:48 as ** along with 1 group LabCompMed
  • Predicate Dispatching: A Unified Theory of Dispatch
    Vol. 1445 (1998), pp. 186-211.
    by Michael D Ernst, Crag Kaplan, Craig Chambers
    posted to dispatch multimethod oop polymorphism predicatedispatch by water451 on 2006-02-24 20:20:38 as read along with 5 people and 4 groups twleung JacquesC hamish A_Olympia greenrd NU-PRL Philosophy_of_Information Blog_and_Wiki_Research SRG_at_UCD
  • 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 **
  • 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
  • Structural polymorphism
    Theoretical Computer Science, Vol. 115, No. 1. (5 July 1993), pp. 107-129.
    by P Freyd
    posted to polymorphism types by voigt on 2005-09-12 09:03:51 as ** along with 1 person msakai
  • 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
  • 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
  • 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
  • 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 **
  • 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
  • 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
  • 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 **
  • 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
  • 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
  • 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
  • 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 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
  • 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
  • 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 **
  • 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
  • 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
  • Associated types with class
    (2005), pp. 1-13.
    by Manuel MT Chakravarty, Gabriele Keller, Simon Peyton-Jones, Simon Marlow
    posted to functional-dependencies functional-programming generic-programming haskell polymorphism type-classes types by voigt on 2005-09-13 12:38:53 as read along with 10 people and 2 groups samth greenrd zednenem bec msakai bonotake spl gkuan americovargas jpbernardy NU-PRL SRG_at_UCD
  • 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
  • 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 **
  • 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
  • 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
  • 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 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
  • Traits: Composable Units of Behaviour
    ECOOP 2003 -- Object-Oriented Programming (2003), pp. 327-339.
    by Nathanael Schärli, Stéphane Ducasse, Oscar Nierstrasz, Andrew Black
    posted to polymorphism inheritance by veal on 2008-11-13 14:20:42 as *** along with 1 person bfraser
  • Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C
    (2000), pp. 175-198.
    by Jeffrey S Foster, Manuel Fähndrich, Alexander Aiken
    posted to c pointer-analysis polymorphism by tuncay on 2007-10-20 00:26:41 as ***
  • Evolution and trans-species polymorphism of MHC class IIbeta genes in cyprinid fish.
    Fish Shellfish Immunol, Vol. 18, No. 3. (March 2005), pp. 199-222.
    by E Ottová, A Simková, JF Martin, JG de Bellocq, M Gelnar, JF Allienne, S Morand
    posted to 2beta class2 cyprinid evolution fishes genetics immunogenetics immunology internship mhc polymorphism by timothee on 2007-01-01 11:24:14 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 cs languages polymorphism programming theory type by thsutton on 2006-03-21 08:17:33 as ***** along with 3 people yallop bec jsiek
  • notes Dynamic matching of forager size to resources in the continuously polymorphic leaf-cutter ant, Atta colombica (Hymenoptera, Formicidae)
    Ecological Entomology, Vol. 31, No. 6. (December 2006), pp. 629-635.
    by K Clar
    posted to ant atta labourdivision polymorphism by ThomasDoering on 2007-02-27 12:44:47 as read along with 1 group Silwood-Aphid-Journal-Club
  • Whole-genome sequencing and variant discovery in C. elegans.
    Nat Methods (20 January 2008)
    by Ladeana W W Hillier, Gabor T T Marth, Aaron R R Quinlan, David Dooling, Ginger Fewell, Derek Barnett, Paul Fox, Jarret I I Glasscock, Matthew Hickenbotham, Weichun Huang, Vincent J J Magrini, Ryan J J Richt, Sacha N N Sander, Donald A A Stewart, Michael Stromberg, Eric F F Tsung, Todd Wylie, Tim Schedl, Richard K K Wilson, Elaine R R Mardis
    posted to cb4858 elegans nextgenseq polymorphism solexa by tharris on 2008-05-30 21:31:13 as read along with 5 people matthewsuderman inesdesantiago orzenil mdimon farhat
  • Genetic polymorphisms in sepsis and septic shock: role in prognosis and potential for therapy.
    Chest, Vol. 124, No. 3. (September 2003), pp. 1103-1115.
    by CL Holmes, JA Russell, KR Walley
    posted to genetique polymorphism sepsis by textoris on 2005-09-18 17:00:36 as read along with 1 person hehady
  • Gene in a haystack: tumor necrosis factor polymorphisms and outcome in sepsis.
    Crit Care Med, Vol. 28, No. 8. (August 2000), pp. 3090-3091.
    by BD Freeman, TG Buchman
    posted to polymorphism sepsis by textoris on 2006-01-25 13:40:40 as ** along with 1 person hehady
  • The G-->A single nucleotide polymorphism at the -308 position in the tumor necrosis factor-alpha promoter increases the risk for severe sepsis after trauma.
    J Trauma, Vol. 52, No. 5. (May 2002)
    by GE O'Keefe, DL Hybki, RS Munford
    posted to polymorphism sepsis by textoris on 2006-01-25 13:39:48 as ** along with 1 person hehady
  • The role of dialysis in contrast-induced nephropathy: doubts and certainties.
    J Cardiovasc Med (Hagerstown), Vol. 8, No. 8. (August 2007), pp. 549-557.
    by C Guastoni, S De Servi, M D'Amico
    posted to years the renal predictor population polymorphism over older of in healthy function enzyme decline d chinese as apparently angiotensin-converting and an allele aged a 60 4 by sultanmillat on 2008-10-07 07:56:55 as ** along with 1 person j_deinum
  • notes Strong bias in the location of functional promoter polymorphisms.
    Hum Mutat, Vol. 26, No. 3. (September 2005), pp. 214-223.
    by PR Buckland, B Hoogendoorn, SL Coleman, CA Guy, SK Smith, MC O'Donovan
    posted to pedf polymorphism promoter by stevezhang on 2006-03-24 08:46:42 as **** along with 1 group SGMO_ZFP
  • A scan for positively selected genes in the genomes of humans and chimpanzees.
    PLoS Biol, Vol. 3, No. 6. (June 2005)
    by R Nielsen, C Bustamante, AG Clark, S Glanowski, TB Sackton, MJ Hubisz, A Fledel-Alon, DM Tanenbaum, D Civello, TJ White, J J Sninsky, MD Adams, M Cargill
    posted to apoptosis genome polymorphism selection by stevanspringer on 2005-10-26 05:36:41 as ** along with 6 people and 3 groups jwortman bpb penka hdopazo djkt iris42 Nie FAB-lab BioinfoCIPF
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/tag/polymorphism

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