16 search results - page 1 / 4 » padl 2010 |
70
Voted
PADL
2010
Springer
15 years 6 months ago
2010
Springer
69
Voted
PADL
2010
Springer
15 years 6 months ago
2010
Springer
59
Voted
PADL
2010
Springer
15 years 6 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...
77
Voted
PADL
2010
Springer
15 years 6 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...
76
Voted
PADL
2010
Springer
15 years 6 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...