Sciweavers

60
Voted
FOSSACS
2004
Springer
15 years 2 months ago
Choice in Dynamic Linking
We introduce a computational interpretation for Hilbert’s choice operator (ε). This interpretation yields a typed foundation for dynamic linking in software systems. The use of ...
Martín Abadi, Georges Gonthier, Benjamin We...