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 12 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 12 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 12 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 11 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 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers