489 search results - page 2 / 98 » Reflection for Statically Typed Languages |
CCS
2008
ACM
13 years 7 months ago
2008
ACM
Reflective Database Access Control (RDBAC) is a model in which a database privilege is expressed as a database query itself, rather than as a static privilege contained in an acce...
POPL
2004
ACM
14 years 5 months ago
2004
ACM
In the interest of designing a recursive module extension to ML that is as simple and general as possible, we propose a novel type system for general recursion over effectful expr...
TOOLS
2008
IEEE
13 years 11 months ago
2008
IEEE
ECOOP
1999
Springer
13 years 9 months ago
1999
Springer
POPL
2000
ACM
13 years 9 months ago
2000
ACM
