Search Sciweavers | Sciweavers

18429 search results - page 330 / 3686

» Typing dynamic typing

145

click to vote

MFCS
1998
Springer

62views Theoretical Computer Science» more MFCS 1998»

Spatial and Temporal Refinement of Typed Graph Transformation Systems

15 years 11 months ago

Download www.dsi.uniroma1.it

Martin Große-Rhode, Francesco Parisi-Presicc...

claim paper

Read More »

174

Voted

OOPSLA
1998
Springer

106views Security Privacy» more OOPSLA 1998»

A Type System for Object Initialization in the Java Bytecode Language

15 years 11 months ago

Download www.cs.williams.edu

Stephen N. Freund, John C. Mitchell

claim paper

Read More »

160

click to vote

TIC
1998
Springer

90views System Software» more TIC 1998»

Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation

15 years 11 months ago

Download www.brics.dk

Vincent Balat, Olivier Danvy

claim paper

Read More »

161

click to vote

TIC
1998
Springer

94views System Software» more TIC 1998»

Type-Directed Continuation Allocation

15 years 11 months ago

Download www.cs.ucla.edu

Suppose we translate two different source languages,

Zhong Shao, Valery Trifonov

claim paper

Read More »

124

Voted

TIC
1998
Springer

107views System Software» more TIC 1998»

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

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers