Reifying variants in configuration management
ACM Transactions on Software Engineering and Methodology (TOSEM)
Polyvariant Flow Analysis with Constrained Types
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
Extending Dylan's type system for better type inference and error detection
Proceedings of the 2010 international conference on Lisp
Hi-index | 0.00 |
A dissertation submitted to the Department of Computer Science andthe Committee on Graduate Studies of Stanford University in partialfulfillment of the requirements for the degree of Doctor ofPhilosophy. (December 1995) Note: This document is ~1.6Mb