researchr - search publication polymorphism

researchr

You are not signed in
Sign in
Sign up

978 publication results matching 'polymorphism'

FPH: first-class polymorphism for Haskell
… Languages supporting polymorphism typically have ad-hoc restrictions on where polymorphic types may occur. Supporting ``first-class'' polymorphism, by lifting … and impredicative polymorphism that improves on earlier proposals …
Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones. ICFP 2008: 295-306 [doi]
Polymorphism in Datalog and Inheritance in a Metamodel
… and polymorphism in order to take advantage of them. In comparable scenarios, where … of polymorphism provide significant advantages. These advantages range from …
Paolo Atzeni, Giorgio Gianforme, Daniele Toti. foiks 2010: 114-132 [doi]
Safe reflection through polymorphism
… propose safe reflection through polymorphism, \ie by unifying the interface …
Toon Verwaest, Lukas Renggli. In CASTA '09: Proceedings of the first international workshop on Context-aware software technology and applications. 2009: [doi]
On the Semantics of PolymorphismMario Coppo. ACTA, 20:159-170, 1983.
Structural PolymorphismPeter J. Freyd. TCS, 115(1):107-129, 1993.
Polymorphism and ApartnessDavid Charles McCarty. ndjfl, 32(4):513-532, 1991.
Parsing with polymorphismMartin Emms. eacl 1993: 120-129 [doi]
Family PolymorphismErik Ernst. ECOOP 2001: 303-326 [doi]
Incremental PolymorphismShail Aditya, Rishiyur S. Nikhil. fpca 1991: 379-405
Practical PolymorphismRishiyur S. Nikhil. fpca 1985: 319-333
Discrete PolymorphismDaniel Leivant. lfp 1990: 288-297 [doi]
Dynamic PolymorphismRichard Riehle. joop, 9(3):60, 1996.
Mapping polymorphismRyan Wisnesky, Mauricio A. Hernández, Lucian Popa. icdt 2010: 196-208 [doi]
Atomic polymorphismFernando Ferreira, Gilda Ferreira. JSYML, 78(1):260-274, 2013. [doi]
2 PolymorphsElena Gnani, Susanna Reggiani, Renato Colle, Massimo Rudan. vlsi, 2001(1):311-315, 2001. [doi]
Extension polymorphismDharini Balasubramaniam. PhD thesis, University of St Andrews, UK, 1998. [doi]
Functorial PolymorphismE. S. Bainbridge, Peter J. Freyd, Andre Scedrov, Philip J. Scott. TCS, 70(1):35-64, 1990.
Invocation PolymorphismGuijun Wang, Allen L. Ambler. vl 1995: 83-90 [doi]
On Bunched PolymorphismMatthew Collinson, David J. Pym, Edmund Robinson. csl 2005: 36-50 [doi]
Bunched polymorphismMatthew Collinson, David J. Pym, Edmund Robinson. mscs, 18(6):1091-1132, 2008. [doi]

Sign in or sign up to see more results.

runs on WebDSL