Search Sciweavers | Sciweavers

31686 search results - page 156 / 6338

» Resource typing in Guru

116

Voted

ESOP
2000
Springer

79views Programming Languages» more ESOP 2000»

Faithful Translations between Polyvariant Flows and Polymorphic Types

15 years 9 months ago

Download reference.kfupm.edu.sa

Torben Amtoft, Franklyn A. Turbak

claim paper

Read More »

136

click to vote

GLVLSI
1998
IEEE

128views VLSI» more GLVLSI 1998»

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

15 years 9 months ago

Download www.cs.york.ac.uk

Teruhisa Hochin, Tatsuo Tsuji

claim paper

Read More »

142

click to vote

MFCS
2000
Springer

146views Theoretical Computer Science» more MFCS 2000»

Abstract Data Types in Computer Algebra

15 years 9 months ago

Download magma.maths.usyd.edu.au

James H. Davenport

claim paper

Read More »

132

Voted

PEPM
2000
ACM

91views Software Engineering» more PEPM 2000»

The Second Futamura Projection for Type-Directed Partial Evaluation

15 years 9 months ago

Download www.brics.dk

Bernd Grobauer, Zhe Yang

claim paper

Read More »

121

click to vote

PEPM
2000
ACM

87views Software Engineering» more PEPM 2000»

Type-Based Useless Variable Elimination

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers