Search Sciweavers | Sciweavers

828 search results - page 6 / 166

» types 2000

136

click to vote

POPL
2000
ACM

130views Programming Languages» more POPL 2000»

Implicit Parameters: Dynamic Scoping with Static Types

15 years 10 months ago

Download research.microsoft.com

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

claim paper

Read More »

140

click to vote

FSTTCS
2000
Springer

63views Software Engineering» more FSTTCS 2000»

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

15 years 10 months ago

Download hal.archives-ouvertes.fr

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

claim paper

Read More »

125

click to vote

SAS
2000
Springer

79views Formal Methods» more SAS 2000»

Unified Analysis of Array and Object References in Strongly Typed Languages

15 years 10 months ago

Download www.cs.rice.edu

Stephen J. Fink, Kathleen Knobe, Vivek Sarkar

claim paper

Read More »

Voted

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 »

121

click to vote

QUESTA
2000

62views more QUESTA 2000»

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

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers