Sciweavers

429 search results - page 17 / 86

» Parameter-free polymorphic types

56

LICS
1990
IEEE

73views Automated Reasoning» more LICS 1990»

A Per Model of Polymorphism and Recursive Types

15 years 1 months ago

A Per Model of Polymorphism and Recursive Types

Download www.era.lib.ed.ac.uk

Martín Abadi, Gordon D. Plotkin

claim paper

Read More »

60

APLAS
2001
ACM

74views Programming Languages» more APLAS 2001»

Simple Type Inference for Structural Polymorphism

15 years 1 months ago

Simple Type Inference for Structural Polymorphism

Download caml.inria.fr

Jacques Garrigue

claim paper

Read More »

61

ESOP
2000
Springer

79views Programming Languages» more ESOP 2000»

Faithful Translations between Polyvariant Flows and Polymorphic Types

15 years 1 months ago

Faithful Translations between Polyvariant Flows and Polymorphic Types

Download reference.kfupm.edu.sa

Torben Amtoft, Franklyn A. Turbak

claim paper

Read More »

69

ECOOP
1995
Springer

138views Programming Languages» more ECOOP 1995»

PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language

15 years 1 months ago

PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language

Download www.cs.mun.ca

Kim B. Bruce, Angela Schuett, Robert van Gent

claim paper

Read More »

54

OOPSLA
1995
Springer

85views Security Privacy» more OOPSLA 1995»

Sound Polymorphic Type Inference for Objects

15 years 1 months ago

Sound Polymorphic Type Inference for Objects

Download www.cs.jhu.edu

Jonathan Eifrig, Scott F. Smith, Valery Trifonov

claim paper

Read More »

« Prev « First page 17 / 86 Last » Next »