Search Sciweavers | Sciweavers

1982 search results - page 24 / 397

» Parametricity and dependent types

click to vote

VSTTE
2005
Springer

109views Software Engineering» more VSTTE 2005»

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

15 years 5 months ago

Download vstte.ethz.ch

Yves Bertot, Laurent Théry

claim paper

Read More »

click to vote

LICS
2000
IEEE

90views Automated Reasoning» more LICS 2000»

Imperative Programming with Dependent Types

15 years 4 months ago

Download www.ats-lang.org

Hongwei Xi

claim paper

Read More »

click to vote

AC
2000
Springer

102views Software Engineering» more AC 2000»

An Introduction to Dependent Type Theory

15 years 4 months ago

Download www.springer.com

Gilles Barthe, Thierry Coquand

claim paper

Read More »

click to vote

POPL
1999
ACM

114views Programming Languages» more POPL 1999»

Dependent Types in Practical Programming

15 years 4 months ago

Download www.cs.cmu.edu

Hongwei Xi, Frank Pfenning

claim paper

Read More »

click to vote

COLING
2000

87views Computational Linguistics» more COLING 2000»

Dependency Treebank for Russian: Concept, Tools, Types of Information

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers