Search Sciweavers | Sciweavers

18429 search results - page 11 / 3686

» Typing dynamic typing

142

click to vote

PPDP
2007
Springer

116views Programming Languages» more PPDP 2007»

Type safe dynamic linking for JVM access control

16 years 17 days ago

Download www.cs.uvm.edu

Christian Skalka

claim paper

Read More »

113

Voted

ISSTA
2006
ACM

110views Software Engineering» more ISSTA 2006»

Dynamic inference of abstract types

16 years 12 days ago

Download www.stanford.edu

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

claim paper

Read More »

138

Voted

IFIP
2004
Springer

110views Programming Languages» more IFIP 2004»

Dynamic and Local Typing for Mobile Ambients

15 years 11 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 11 months ago

Download scg.unibe.ch

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

claim paper

Read More »

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers