Search Sciweavers | Sciweavers

493 search results - page 8 / 99

» types 1998

click to vote

ECCC
1998

55views more ECCC 1998»

Characterizing Small Depth and Small Space Classes by Operators of Higher Types

14 years 10 months ago

Download www.cs.rutgers.edu

Manindra Agrawal, Eric Allender, Samir Datta, Heri...

claim paper

Read More »

click to vote

JFP
1998

36views more JFP 1998»

Computational Types from a Logical Perspective

14 years 10 months ago

Download perso.ens-lyon.fr

P. N. Benton, Gavin M. Bierman, Valeria de Paiva

claim paper

Read More »

click to vote

SPE
1998

72views more SPE 1998»

Type-Safe Casting

14 years 10 months ago

Download www.cs.utah.edu

Wilson C. Hsieh, Marc E. Fiuczynski, Przemyslaw Pa...

claim paper

Read More »

Voted

PROCOMET
1998

114views Programming Languages» more PROCOMET 1998»

Types for trees

14 years 11 months ago

Download www.doc.ic.ac.uk

We introduce a type assignment system which is parametric with respect to five families of trees obtained by evaluating -terms (B

Franco Barbanera, Mariangiola Dezani-Ciancaglini, ...

claim paper

Read More »

click to vote

MFCS
1998
Springer

62views Theoretical Computer Science» more MFCS 1998»

Spatial and Temporal Refinement of Typed Graph Transformation Systems

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers