Sciweavers

26

TACS
1991
Springer

79views Software Engineering» more TACS 1991»

Full Abstraction and the Context Lemma

14 years 3 months ago

Full Abstraction and the Context Lemma

Download publications.csail.mit.edu

Trevor Jim, Albert R. Meyer

claim paper

Read More »

28

TACS
1991
Springer

99views Software Engineering» more TACS 1991»

An Abstract Interpretation for ML Equality Kinds

14 years 3 months ago

An Abstract Interpretation for ML Equality Kinds

Download www.ircs.upenn.edu

Carl A. Gunter, Elsa L. Gunter, David B. MacQueen

claim paper

Read More »

36

TACS
1991
Springer

143views Software Engineering» more TACS 1991»

Adding Proof Objects and Inductive Definition Mechanisms to Frege Structures

14 years 3 months ago

Adding Proof Objects and Inductive Definition Mechanisms to Frege Structures

Download wwwsoc.nii.ac.jp

Masahiko Sato

claim paper

Read More »

35

TACS
1991
Springer

98views Software Engineering» more TACS 1991»

On Nets, Algebras and Modularity

14 years 3 months ago

On Nets, Algebras and Modularity

Download www.cs.tau.ac.il

We aim at a unified and coherent presentation of net models for concurrency like Petri nets and dataflow networks from the perspective of modularity and substitutivity. The major ...

Alexander Moshe Rabinovich, Boris A. Trakhtenbrot

claim paper

Read More »

36

TACS
1991
Springer

124views Software Engineering» more TACS 1991»

An Extension of System F with Subtyping

14 years 3 months ago

An Extension of System F with Subtyping

Download lucacardelli.name

System F is a well-known typed λ-calculus with polymorphic types, which provides a basis for polymorphic programming languages. We study an extension of F, called F<: (pronoun...

Luca Cardelli, Simone Martini, John C. Mitchell, A...

claim paper

Read More »

34

TACS
1991
Springer

89views Software Engineering» more TACS 1991»

Intersection and Union Types

14 years 3 months ago

Intersection and Union Types

Download www.cs.cmu.edu

Franco Barbanera, Mariangiola Dezani-Ciancaglini

claim paper

Read More »

30

TACS
1991
Springer

93views Software Engineering» more TACS 1991»

Authentication and Delegation with Smart-cards

14 years 3 months ago

Authentication and Delegation with Smart-cards

Download www.hpl.hp.com

Martín Abadi, Michael Burrows, C. Kaufman, ...

claim paper

Read More »