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

15 years 4 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

15 years 3 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

15 years 3 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

15 years 1 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

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers