Search Sciweavers | Sciweavers

18429 search results - page 11 / 3686

» Typing dynamic typing

click to vote

PPDP
2007
Springer

116views Programming Languages» more PPDP 2007»

Type safe dynamic linking for JVM access control

15 years 3 months ago

Download www.cs.uvm.edu

Christian Skalka

claim paper

Read More »

click to vote

ISSTA
2006
ACM

110views Software Engineering» more ISSTA 2006»

Dynamic inference of abstract types

15 years 3 months ago

Download www.stanford.edu

Philip J. Guo, Jeff H. Perkins, Stephen McCamant, ...

claim paper

Read More »

click to vote

IFIP
2004
Springer

110views Programming Languages» more IFIP 2004»

Dynamic and Local Typing for Mobile Ambients

15 years 2 months ago

Download www.dsi.unive.it

Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio ...

claim paper

Read More »

click to vote

OOPSLA
2004
Springer

59views Security Privacy» more OOPSLA 2004»

Object-oriented encapsulation for dynamically typed languages

15 years 2 months ago

Download scg.unibe.ch

Nathanael Schärli, Andrew P. Black, Sté...

claim paper

Read More »

click to vote

POPL
2000
ACM

130views Programming Languages» more POPL 2000»

Implicit Parameters: Dynamic Scoping with Static Types

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers