Search Sciweavers | Sciweavers

3319 search results - page 4 / 664

» Type Theoretical Databases

Voted

CSR
2006
Springer

68views Theoretical Computer Science» more CSR 2006»

Polarized Subtyping for Sized Types

15 years 6 months ago

Download www2.tcs.ifi.lmu.de

Andreas Abel

claim paper

Read More »

101

click to vote

MFCS
2000
Springer

146views Theoretical Computer Science» more MFCS 2000»

Abstract Data Types in Computer Algebra

15 years 6 months ago

Download magma.maths.usyd.edu.au

James H. Davenport

claim paper

Read More »

152

Voted

HOA
1995

133views Theoretical Computer Science» more HOA 1995»

Higher-Order Algebra with Transfinite Types

15 years 6 months ago

Download www.cs.ncl.ac.uk

L.J. Steggles

L. J. Steggles

claim paper

Read More »

106

Voted

TLCA
1995
Springer

106views Theoretical Computer Science» more TLCA 1995»

Third-Order Matching in the Presence of Type Constructors

15 years 6 months ago

Download igitur-archive.library.uu.nl

Jan Springintveld

claim paper

Read More »

Voted

CSR
2006
Springer

84views Theoretical Computer Science» more CSR 2006»

Inductive Type Schemas as Functors

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers