Sciweavers

596 search results - page 30 / 120

» Subtyping Recursive Types

147

LICS
2005
IEEE

97views Automated Reasoning» more LICS 2005»

Recursive Polymorphic Types and Parametricity in an Operational Framework

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

136

Voted

LICS
1998
IEEE

68views Automated Reasoning» more LICS 1998»

Recursive Types in Games: Axiomatics and Process Representation

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

179

ESOP
1998
Springer

174views Programming Languages» more ESOP 1998»

Recursive Object Types in a Logic of Object-Oriented Programs

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

123

LICS
1990
IEEE

73views Automated Reasoning» more LICS 1990»

A Per Model of Polymorphism and Recursive Types

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

131

Voted

AMAST
1991
Springer

87views Software Engineering» more AMAST 1991»

Extracting Recursive Programs in Type Theory

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