Sciweavers

3001 search results - page 14 / 601

» Recursive type generativity

115

ESOP
1998
Springer

174views Programming Languages» more ESOP 1998»

Recursive Object Types in a Logic of Object-Oriented Programs

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

66

LICS
1990
IEEE

73views Automated Reasoning» more LICS 1990»

A Per Model of Polymorphism and Recursive Types

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

64

AMAST
1991
Springer

87views Software Engineering» more AMAST 1991»

Extracting Recursive Programs in Type Theory

15 years 3 months ago

Extracting Recursive Programs in Type Theory

Download www.cs.jhu.edu

Scott F. Smith

claim paper

Read More »

68

ENTCS
2006

116views more ENTCS 2006»

Practical Datatype Specializations with Phantom Types and Recursion Schemes

14 years 11 months ago

Practical Datatype Specializations with Phantom Types and Recursion Schemes

Download ttic.uchicago.edu

Matthew Fluet, Riccardo Pucella

claim paper

Read More »

108

MST
2008

119views more MST 2008»

Logical Equivalence for Subtyping Object and Recursive Types

14 years 11 months ago

Logical Equivalence for Subtyping Object and Recursive Types

Download www.doc.ic.ac.uk

Subtyping in first order object calculi is studied with respect to the logical semantics obtained by identifying terms that satisfy the same set of predicates, as formalised throu...

Steffen van Bakel, Ugo de'Liguoro

claim paper

Read More »

« Prev « First page 14 / 601 Last » Next »