Subtyping Constraints in Quasi-lattices

Lecture Notes in Computer Science - FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science ◽

10.1007/978-3-540-24597-1_12 ◽

2003 ◽

pp. 136-148 ◽

Cited By ~ 3

Author(s):

Emmanuel Coquery ◽

François Fages

Download Full-text