Search Sciweavers | Sciweavers

828 search results - page 3 / 166

» types 2000

click to vote

LICS
2000
IEEE

106views Automated Reasoning» more LICS 2000»

Assigning Types to Processes

13 years 9 months ago

Download www.cogs.susx.ac.uk

Nobuko Yoshida, Matthew Hennessy

claim paper

Read More »

click to vote

AC
2000
Springer

102views Software Engineering» more AC 2000»

An Introduction to Dependent Type Theory

13 years 9 months ago

Download www.springer.com

Gilles Barthe, Thierry Coquand

claim paper

Read More »

click to vote

AMAST
2000
Springer

87views Software Engineering» more AMAST 2000»

Random Access to Abstract Data Types

13 years 9 months ago

Download www.fernuni-hagen.de

Martin Erwig

claim paper

Read More »

click to vote

ESOP
2000
Springer

79views Programming Languages» more ESOP 2000»

Faithful Translations between Polyvariant Flows and Polymorphic Types

13 years 9 months ago

Download reference.kfupm.edu.sa

Torben Amtoft, Franklyn A. Turbak

claim paper

Read More »

click to vote

MFCS
2000
Springer

146views Theoretical Computer Science» more MFCS 2000»

Abstract Data Types in Computer Algebra

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers