Search Sciweavers | Sciweavers

31686 search results - page 156 / 6338

» Resource typing in Guru

click to vote

ESOP
2000
Springer

79views Programming Languages» more ESOP 2000»

Faithful Translations between Polyvariant Flows and Polymorphic Types

14 years 23 days ago

Download reference.kfupm.edu.sa

Torben Amtoft, Franklyn A. Turbak

claim paper

Read More »

click to vote

GLVLSI
1998
IEEE

128views VLSI» more GLVLSI 1998»

A Storage Structure for Graph-Oriented Databases Using an Array of Element Types

14 years 23 days ago

Download www.cs.york.ac.uk

Teruhisa Hochin, Tatsuo Tsuji

claim paper

Read More »

click to vote

MFCS
2000
Springer

146views Theoretical Computer Science» more MFCS 2000»

Abstract Data Types in Computer Algebra

14 years 22 days ago

Download magma.maths.usyd.edu.au

James H. Davenport

claim paper

Read More »

click to vote

PEPM
2000
ACM

91views Software Engineering» more PEPM 2000»

The Second Futamura Projection for Type-Directed Partial Evaluation

14 years 22 days ago

Download www.brics.dk

Bernd Grobauer, Zhe Yang

claim paper

Read More »

click to vote

PEPM
2000
ACM

87views Software Engineering» more PEPM 2000»

Type-Based Useless Variable Elimination

14 years 22 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers