Search Sciweavers | Sciweavers

31686 search results - page 143 / 6338

» Resource typing in Guru

143

click to vote

TLCA
2009
Springer

129views Theoretical Computer Science» more TLCA 2009»

Refinement Types as Proof Irrelevance

15 years 10 months ago

Download www.cs.cmu.edu

William Lovas, Frank Pfenning

claim paper

Read More »

119

click to vote

ADBIS
2001
Springer

82views Database» more ADBIS 2001»

Enhancing an Extensible Query Optimizer with Support for Multiple Equivalence Types

15 years 10 months ago

Download timecenter.cs.aau.dk

Giedrius Slivinskas, Christian S. Jensen

claim paper

Read More »

121

click to vote

ERSHOV
2001
Springer

98views Theoretical Computer Science» more ERSHOV 2001»

Binding-Time Analysis for Polymorphic Types

15 years 10 months ago

Download repository.readscheme.org

Rogardt Heldal, John Hughes

claim paper

Read More »

116

click to vote

FLOPS
2001
Springer

79views Automated Reasoning» more FLOPS 2001»

A Simple Take on Typed Abstract Syntax in Haskell-like Languages

15 years 10 months ago

Download www.brics.dk

Olivier Danvy, Morten Rhiger

claim paper

Read More »

135

click to vote

LOPSTR
2001
Springer

116views Automated Reasoning» more LOPSTR 2001»

Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers