Search Sciweavers | Sciweavers

18429 search results - page 11 / 3686

» Typing dynamic typing

107

click to vote

PPDP
2007
Springer

116views Programming Languages» more PPDP 2007»

Type safe dynamic linking for JVM access control

15 years 10 months ago

Download www.cs.uvm.edu

Christian Skalka

claim paper

Read More »

Voted

ISSTA
2006
ACM

110views Software Engineering» more ISSTA 2006»

Dynamic inference of abstract types

15 years 10 months ago

Download www.stanford.edu

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

claim paper

Read More »

115

click to vote

IFIP
2004
Springer

110views Programming Languages» more IFIP 2004»

Dynamic and Local Typing for Mobile Ambients

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

Download scg.unibe.ch

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

claim paper

Read More »

110

Voted

POPL
2000
ACM

130views Programming Languages» more POPL 2000»

Implicit Parameters: Dynamic Scoping with Static Types

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers