43 search results - page 6 / 9 » Parametric polymorphism and operational equivalence |
ICFP
2008
ACM
14 years 8 months ago
2008
ACM
Language-based security relies on the assumption that all potential attacks are bound by the rules of the language in question. When programs are compiled into a different languag...
CORR
2002
Springer
13 years 8 months ago
2002
Springer
In previous work, we have introduced functional strategies, that is, first-class generic functions that can traverse into terms of any type while mixing uniform and type-specific ...
ICFP
2000
ACM
14 years 28 days ago
2000
ACM
This paper describes FC++: a rich library supporting functional programming in C++. Prior approaches to encoding higher order functions in C++ have suffered with respect to polymo...
AUTOMATICA
2000
13 years 8 months ago
2000
This paper is concerned with the characterization of all nonlinear stabilizing controllers. Observer based kernel representations are introduced to avoid the difficulty which occu...
MFPS
1989
14 years 18 days ago
1989
We define a simple collection of operations for creating and manipulating record structures, where records are intended as finite associations of values to labels. A second-order ...