Jan Vitek - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged subtyping

Matching ::::ThisType:::: to subtypingChieri Saito, Atsushi Igarashi. SAC 2009: 1851-1858 [doi]

Theory and applications of subtyping: IntroductionAdriana B. Compagnoni, Healfdene Goguen. mscs, 18(5):795-796, 2008. [doi]

Polarised subtyping for sized typesAndreas Abel. mscs, 18(5):797-822, 2008. [doi]

Anti-symmetry of higher-order subtyping and equality by subtypingAdriana B. Compagnoni, Healfdene Goguen. mscs, 16(1):41-65, 2006. [doi]

Polarized Subtyping for Sized TypesAndreas Abel. csr 2006: 381-392 [doi]

Typed behavioural equivalences for processes in the presence of subtypingMatthew Hennessy, Julian Rathke. mscs, 14(5):651-684, 2004. [doi]

Higher-order subtyping and its decidabilityAdriana B. Compagnoni. iandc, 191(1):41-103, 2004. [doi]

Subtyping Union TypesJerome Vouillon. csl 2004: 415-429 [doi]

Java Subtype Tests in Real-TimeKrzysztof Palacz, Jan Vitek. ECOOP 2003: 378-404 [doi]

Typed behavioural equivalences for processes in the presence of subtypingMatthew Hennessy, Julian Rathke. ENTCS, 61:122-139, 2002. [doi]

The Subtyping Problem for Second-Order Types Is UndecidableJerzy Tiuryn, Pawel Urzyczyn. iandc, 179(1):1-18, 2002. [doi]

Products and Polymorphic SubtypesViviana Bono, Jerzy Tiuryn. FUIN, 51(1-2):13-41, 2002.

Satisfying subtype inequalities in polynomial spaceAlexandre Frey. TCS, 277(1-2):105-117, 2002. [doi]

Predicate Subtyping with Predicate SetsJoe Hurd. tphol 2001: 265-280 [doi]

Finite subtype inference with explicit polymorphismDominic Duggan. SCP, 39(1):57-92, 2001.

Subtyping dependent typesDavid Aspinall, Adriana B. Compagnoni. TCS, 266(1-2):273-309, 2001. [doi]

Behavioral Subtyping and Behavioral Enrichment of MultimethodsNeelam Soundarajan, Stephen Fridella. TOOLS 2000: 105 [doi]

Subtyping with Power TypesDavid Aspinall. csl 2000: 156-171 [doi]

Typed compilation of inclusive subtypingKarl Crary. ICFP 2000: 68-81 [doi]

Anti-Symmetry of Higher-Order SubtypingAdriana B. Compagnoni, Healfdene Goguen. csl 1999: 420-438

Pragmatic Subtyping in Polymorphic LanguagesJohan Nordlander. ICFP 1998: 216-227 [doi]

Collaborations: Beyond SubtypesDesmond D Souza. joop, 9(8):61-66, 1997.

Satisfying Subtype Inequalities in Polynomial SpaceAlexandre Frey. SAS 1997: 265-277

A Practical Subtyping System For ErlangSimon Marlow, Philip Wadler. ICFP 1997: 136-149

Foundations for the Implementation of Higher-Order SubtypingKarl Crary. ICFP 1997: 125-135

System F with Width-Subtyping and Record UpdatingErik Poll. tacs 1997: 439-457

Minimal Typings in Atomic SubtypingJakob Rehof. POPL 1997: 278-291 [doi]

Subtypes for SpecificationsJohn M. Rushby. ESEC/FSE 1997: 4-19 [doi]

Pharmacophore development for antagonists at alpha::1:: adrenergic receptor subtypesJohn B. Bremner, Burak Coban, Renate Griffith. jcamd, 10(6):545-557, 1996.

Interfaces, Subtypes, and FrameworksDesmond D Souza. joop, 9(7):19-22, 1996.

Subtyping Dependent Types (Summary)David Aspinall, Adriana B. Compagnoni. lics 1996: 86-97

Subtyping Constrained TypesValery Trifonov, Scott F. Smith. SAS 1996: 349-365

The Subtyping Problem for Second-Order Types is UndecidableJerzy Tiuryn, Pawel Urzyczyn. lics 1996: 74-85

Strong Normalization for Non-Structural Subtyping via Saturated SetsJakob Rehof. ipl, 58(4):157-162, 1996. [doi]

Subtyping in OODBsCatriel Beeri, Tova Milo. jcss, 51(2):223-243, 1995.

Record Subtyping in Flexible Relations by Means of Attribute DependenciesChristian Kalus, Peter Dadam. icde 1995: 383-390 [doi]

Covariant Deep Subtyping ReconsideredDavid L. Shang. SIGPLAN, 30(5):21-28, 1995.

Subtyping with Union Types, Intersection Types and Recursive TypesFlemming M. Damm. tacs 1994: 687-706

A Behavioral Notion of SubtypingBarbara Liskov, Jeannette M. Wing. TOPLAS, 16(6):1811-1841, 1994. [doi]

Subtyping with Singleton TypesDavid Aspinall. csl 1995: 1-15

Decidability of Higher-Order Subtyping with Intersection TypesAdriana B. Compagnoni. csl 1995: 46-60

Types, Subtypes, and ASL+David Aspinall. compass 1995: 116-131

Type Reconstruction with Recursive Types and Atomic SubtypingJerzy Tiuryn, Mitchell Wand. tapsoft 1993: 686-701

Conjunctive SubtypingDavid J. Lillie. fpca 1993: 42-51

Parametricity as SubtypingQingMing Ma. POPL 1992: 281-292

Reply to Subtypes and Quantification F. Warren Burton. TOPLAS, 13(4):633, 1991.

Inheritance Is Not SubtypingWilliam R. Cook, Walter L. Hill, Peter S. Canning. POPL 1990: 125-135

On embedding Boolean as a subtype of integerMarkku Sakkinen. SIGPLAN, 25(7):95-96, 1990. [doi]

Polymorphic Subtype Inference: Closing the Theory-Practice GapYou-Chin Fuh, Prateek Mishra. tapsoft 1989: 167-183

Cloning and structural analyses of hepatitis B virus DNAs, subtype adrAsao Fujiyama, Atsushi Miyanohara, Chikateru Nozaki, Tetsuo Yoneyama, Tetsuo Ohtomo, K. Matsubara. nar, 11(13):4601-4610, 1983.

runs on WebDSL