Sciweavers

2261 search results - page 26 / 453
» Dynamic types for authentication
Sort
View
ISSTA
2006
ACM
14 years 1 months ago
Dynamic inference of abstract types
Philip J. Guo, Jeff H. Perkins, Stephen McCamant, ...
IFIP
2004
Springer
14 years 29 days ago
Dynamic and Local Typing for Mobile Ambients
Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio ...
OOPSLA
2004
Springer
14 years 28 days ago
Object-oriented encapsulation for dynamically typed languages
Nathanael Schärli, Andrew P. Black, Sté...
POPL
2000
ACM
13 years 12 months ago
Implicit Parameters: Dynamic Scoping with Static Types
Jeffrey R. Lewis, John Launchbury, Erik Meijer, Ma...
ISLPED
1998
ACM
68views Hardware» more  ISLPED 1998»
13 years 11 months ago
Power exploration for dynamic data types through virtual memory management refinement
Julio Leao da Silva Jr., Francky Catthoor, Diederi...