Search Sciweavers | Sciweavers

31686 search results - page 197 / 6338

» Resource typing in Guru

click to vote

POPL
2000
ACM

130views Programming Languages» more POPL 2000»

Implicit Parameters: Dynamic Scoping with Static Types

14 years 1 months ago

Download research.microsoft.com

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

claim paper

Read More »

click to vote

ISLPED
1998
ACM

68views Hardware» more ISLPED 1998»

Power exploration for dynamic data types through virtual memory management refinement

14 years 1 months ago

Download bwrc.eecs.berkeley.edu

Julio Leao da Silva Jr., Francky Catthoor, Diederi...

claim paper

Read More »

click to vote

PODS
1998
ACM

104views Database» more PODS 1998»

Typed Query Languages for Databases Containing Queries

14 years 1 months ago

Download www.cs.indiana.edu

Frank Neven, Jan Van den Bussche, Dirk Van Gucht, ...

claim paper

Read More »

click to vote

ESOP
1998
Springer

76views Programming Languages» more ESOP 1998»

Language Primitives and Type Discipline for Structured Communication-Based Programming

14 years 1 months ago

Download www.di.fc.ul.pt

Kohei Honda, Vasco Thudichum Vasconcelos, Makoto K...

claim paper

Read More »

click to vote

TIC
1998
Springer

107views System Software» more TIC 1998»

Compiling Java to a Typed Lambda-Calculus: A Preliminary Report

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers