Sciweavers

131 search results - page 1 / 27

» types 1993

17

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 »

15

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 »

13

FSTTCS
1993
Springer

117views Software Engineering» more FSTTCS 1993»

A Meta-Language for Typed Object-Oriented Languages

13 years 10 months ago

A Meta-Language for Typed Object-Oriented Languages

Download www.pps.jussieu.fr

Giuseppe Castagna

claim paper

Read More »

16

OOPSLA
1993
Springer

97views Security Privacy» more OOPSLA 1993»

Typing the Specialization Interface

13 years 10 months ago

Typing the Specialization Interface

Download www2.parc.com

John Lamping

claim paper

Read More »

14

OOPSLA
1993
Springer

107views Security Privacy» more OOPSLA 1993»

Regular Types for Active Objects

13 years 10 months ago

Regular Types for Active Objects

Download asg.unige.ch

Oscar Nierstrasz

claim paper

Read More »

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