Search Sciweavers | Sciweavers

3319 search results - page 4 / 664

» Type Theoretical Databases

click to vote

CSR
2006
Springer

68views Theoretical Computer Science» more CSR 2006»

Polarized Subtyping for Sized Types

13 years 9 months ago

Download www2.tcs.ifi.lmu.de

Andreas Abel

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 9 months ago

Download magma.maths.usyd.edu.au

James H. Davenport

claim paper

Read More »

click to vote

HOA
1995

133views Theoretical Computer Science» more HOA 1995»

Higher-Order Algebra with Transfinite Types

13 years 9 months ago

Download www.cs.ncl.ac.uk

L.J. Steggles

L. J. Steggles

claim paper

Read More »

click to vote

TLCA
1995
Springer

106views Theoretical Computer Science» more TLCA 1995»

Third-Order Matching in the Presence of Type Constructors

13 years 9 months ago

Download igitur-archive.library.uu.nl

Jan Springintveld

claim paper

Read More »

click to vote

CSR
2006
Springer

84views Theoretical Computer Science» more CSR 2006»

Inductive Type Schemas as Functors

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers