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

15 years 3 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

15 years 3 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

15 years 3 months ago

Download www.cs.utah.edu

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

claim paper

Read More »

118

click to vote

PROCOMET
1998

114views Programming Languages» more PROCOMET 1998»

Types for trees

15 years 5 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 »

115

Voted

MFCS
1998
Springer

62views Theoretical Computer Science» more MFCS 1998»

Spatial and Temporal Refinement of Typed Graph Transformation Systems

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers