Sciweavers

131 search results - page 1 / 27

» types 1993

14

TYPES
1993
Springer

95views Formal Methods» more TYPES 1993»

Type Theory and the Informal Language of Mathematics

13 years 9 months ago

Type Theory and the Informal Language of Mathematics

Download www.lang.osaka-u.ac.jp

Aarne Ranta

claim paper

Read More »

14

TYPES
1993
Springer

104views Formal Methods» more TYPES 1993»

Proving Strong Normalization of CC by Modifying Realizability Semantics

13 years 9 months ago

Proving Strong Normalization of CC by Modifying Realizability Semantics

Download www.cs.nott.ac.uk

Thorsten Altenkirch

claim paper

Read More »

12

FSTTCS
1993
Springer

117views Software Engineering» more FSTTCS 1993»

A Meta-Language for Typed Object-Oriented Languages

13 years 9 months ago

A Meta-Language for Typed Object-Oriented Languages

Download www.pps.jussieu.fr

Giuseppe Castagna

claim paper

Read More »

14

OOPSLA
1993
Springer

97views Security Privacy» more OOPSLA 1993»

Typing the Specialization Interface

13 years 9 months ago

Typing the Specialization Interface

Download www2.parc.com

John Lamping

claim paper

Read More »

13

OOPSLA
1993
Springer

107views Security Privacy» more OOPSLA 1993»

Regular Types for Active Objects

13 years 9 months ago

Regular Types for Active Objects

Download asg.unige.ch

Oscar Nierstrasz

claim paper

Read More »

« Prev « First page 1 / 27 Last » Next »