Search Sciweavers | Sciweavers

828 search results - page 6 / 166

» types 2000

click to vote

POPL
2000
ACM

130views Programming Languages» more POPL 2000»

Implicit Parameters: Dynamic Scoping with Static Types

13 years 12 months ago

Download research.microsoft.com

Jeffrey R. Lewis, John Launchbury, Erik Meijer, Ma...

claim paper

Read More »

click to vote

FSTTCS
2000
Springer

63views Software Engineering» more FSTTCS 2000»

Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping

13 years 11 months ago

Download hal.archives-ouvertes.fr

Jan-Georg Smaus, François Fages, Pierre Der...

claim paper

Read More »

click to vote

SAS
2000
Springer

79views Formal Methods» more SAS 2000»

Unified Analysis of Array and Object References in Strongly Typed Languages

13 years 11 months ago

Download www.cs.rice.edu

Stephen J. Fink, Kathleen Knobe, Vivek Sarkar

claim paper

Read More »

click to vote

COLING
2000

87views Computational Linguistics» more COLING 2000»

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

13 years 9 months ago

Download acl.ldc.upenn.edu

Igor Boguslavsky, Svetlana Grigorieva, Nikolai Gri...

claim paper

Read More »

click to vote

QUESTA
2000

62views more QUESTA 2000»

The departure process of discrete-time queueing systems with Markovian type inputs

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers