Search Sciweavers | Sciweavers

1999 search results - page 35 / 400

» Dependently Typed Grammars

134

click to vote

AC
2000
Springer

102views Software Engineering» more AC 2000»

An Introduction to Dependent Type Theory

15 years 10 months ago

Download www.springer.com

Gilles Barthe, Thierry Coquand

claim paper

Read More »

127

click to vote

POPL
1999
ACM

114views Programming Languages» more POPL 1999»

Dependent Types in Practical Programming

15 years 10 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 7 months ago

Download acl.ldc.upenn.edu

Igor Boguslavsky, Svetlana Grigorieva, Nikolai Gri...

claim paper

Read More »

145

click to vote

LFP
1990

96views more LFP 1990»

Static Dependent Types for First Class Modules

15 years 7 months ago

Download www.psrg.lcs.mit.edu

Mark A. Sheldon, David K. Gifford

claim paper

Read More »

129

click to vote

FOIS
2010

130views Information Technology» more FOIS 2010»

Towards Ontological Correctness of Part-whole Relations with Dependent Types

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers