16 search results - page 1 / 4 » padl 2010 |
PADL
2010
Springer
14 years 1 months ago
2010
Springer
PADL
2010
Springer
14 years 1 months ago
2010
Springer
PADL
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. We describe a monad for checked, explicitly typed exceptions, which provides as a simple Haskell library what for other languages is a native feature. Multi parameter typ...
PADL
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. A Prolog implementation of an In-lined Reference Monitoring system prototype for Adobe ActionScript Bytecode programs is presented. Prolog provides an elegant framework f...
PADL
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. We show how testing convertibility of two types in dependently typed systems can advantageously be implemented instead untyped normalization by evaluation, thereby reusin...