Sciweavers

596 search results - page 30 / 120

» Subtyping Recursive Types

95

LICS
2005
IEEE

97views Automated Reasoning» more LICS 2005»

Recursive Polymorphic Types and Parametricity in an Operational Framework

15 years 7 months ago

Recursive Polymorphic Types and Parametricity in an Operational Framework

Download www.pps.jussieu.fr

Paul-André Melliès, Jerome Vouillon

claim paper

Read More »

85

LICS
1998
IEEE

68views Automated Reasoning» more LICS 1998»

Recursive Types in Games: Axiomatics and Process Representation

15 years 5 months ago

Recursive Types in Games: Axiomatics and Process Representation

Download www.eecs.qmul.ac.uk

Marcelo P. Fiore, Kohei Honda

claim paper

Read More »

125

ESOP
1998
Springer

174views Programming Languages» more ESOP 1998»

Recursive Object Types in a Logic of Object-Oriented Programs

15 years 5 months ago

Recursive Object Types in a Logic of Object-Oriented Programs

Download www.hpl.hp.com

K. Rustan M. Leino

claim paper

Read More »

72

LICS
1990
IEEE

73views Automated Reasoning» more LICS 1990»

A Per Model of Polymorphism and Recursive Types

15 years 5 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 »

74

AMAST
1991
Springer

87views Software Engineering» more AMAST 1991»

Extracting Recursive Programs in Type Theory

15 years 4 months ago

Extracting Recursive Programs in Type Theory

Download www.cs.jhu.edu

Scott F. Smith

claim paper

Read More »

« Prev « First page 30 / 120 Last » Next »