Search Sciweavers | Sciweavers

18429 search results - page 312 / 3686

» Typing dynamic typing

182

click to vote

VLDB
2005
ACM

93views Database» more VLDB 2005»

Indexing Mixed Types for Approximate Retrieval

16 years 5 days ago

Download www.vldb2005.org

In various applications such as data cleansing, being able to retrieve categorical or numerical attributes based on notions of approximate match (e.g., edit distance, numerical di...

Liang Jin, Nick Koudas, Chen Li, Anthony K. H. Tun...

claim paper

Read More »

128

click to vote

VSTTE
2005
Springer

109views Software Engineering» more VSTTE 2005»

Dependent Types, Theorem Proving, and Applications for a Verifying Compiler

16 years 5 days ago

Download vstte.ethz.ch

Yves Bertot, Laurent Théry

claim paper

Read More »

111

click to vote

APLAS
2004
ACM

73views Programming Languages» more APLAS 2004»

A Type Theory for Krivine-Style Evaluation and Compilation

16 years 4 days ago

Download www.jaist.ac.jp

Kwanghoon Choi, Atsushi Ohori

claim paper

Read More »

120

click to vote

APLAS
2004
ACM

108views Programming Languages» more APLAS 2004»

An Implementation of Subtyping Among Regular Expression Types

16 years 4 days ago

Download www.itu.dk

Kenny Zhuo Ming Lu, Martin Sulzmann

claim paper

Read More »

137

click to vote

ECLIPSE
2004
ACM

90views Software Engineering» more ECLIPSE 2004»

Visualizing type qualifier inference with Eclipse

16 years 4 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers