Search Sciweavers | Sciweavers

15787 search results - page 213 / 3158

» Is Software Engineering Training Enough for Software Enginee...

137

Voted

SDE
1991

150views Software Engineering» more SDE 1991»

Adding Control Integration to PCTE

15 years 7 months ago

Download www.hpl.hp.com

Huw Oliver

claim paper

Read More »

click to vote

TACS
1991
Springer

89views Software Engineering» more TACS 1991»

Intersection and Union Types

15 years 7 months ago

Download www.cs.cmu.edu

Franco Barbanera, Mariangiola Dezani-Ciancaglini

claim paper

Read More »

125

click to vote

TACS
1991
Springer

143views Software Engineering» more TACS 1991»

Adding Proof Objects and Inductive Definition Mechanisms to Frege Structures

15 years 7 months ago

Download wwwsoc.nii.ac.jp

Masahiko Sato

claim paper

Read More »

Voted

TACS
1991
Springer

79views Software Engineering» more TACS 1991»

Full Abstraction and the Context Lemma

15 years 7 months ago

Download publications.csail.mit.edu

Trevor Jim, Albert R. Meyer

claim paper

Read More »

click to vote

TAPSOFT
1991
Springer

77views Software Engineering» more TAPSOFT 1991»

On Causality Observed Incrementally, Finally

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers