Articles matching “Simons”

  1. Ashley McNeile, Nicholas Simons, A Typing Scheme for Behavioural Models, pp. 81-94, PDF, HTML, DOI. Volume 6, no. 10 (November 2007)
  2. Anthony J.H. Simons, The Theory of Classification Part 20: Modular Checking of Classtypes, pp. 7-18, PDF, HTML, DOI. Volume 4, no. 7 (September 2005)
  3. Anthony J.H. Simons, The Theory of Classification Part 19: The Proliferation of Parameters, pp. 37-48, PDF, HTML, DOI. Volume 4, no. 5 (July 2005)
  4. Anthony J.H. Simons, The Theory of Classification Part 18: The Theory of Classification Part 18: Polymorphism through the Looking Glass , pp. 1-18, PDF, HTML, DOI. Volume 4, no. 4 (May 2005)
  5. Anthony J.H. Simons, The Theory of Classification Part 17: Multiple Inheritance and the Resolution of Inheritance Conflicts, pp. 15-26, PDF, HTML, DOI. Volume 4, no. 2 (March 2005)
  6. Anthony J.H. Simons, The Theory of Classification, Part 16: Rules of Extension and the Typing of Inheritance, pp. 13-25, PDF, HTML, DOI. Volume 4, no. 1 (January 2005)
  7. Anthony J.H. Simons, The Theory of Classification Part 15: Mixins and the Superclass Interface, pp. 7-18, PDF, HTML, DOI. Volume 3, no. 10 (November 2004)
  8. Anthony J.H. Simons, The Theory of Classification Part 14: Modification and Objects like Myself, pp. 15-26, PDF, HTML, DOI. Volume 3, no. 8 (September 2004)
  9. Anthony J.H. Simons, The Theory of Classification, Part 13: Template Classes and Genericity, pp. 15-25, PDF, HTML, DOI. Volume 3, no. 7 (July 2004)
  10. Anthony J.H. Simons, The Theory of Classification, Part 12::Building the Class Hierarchy, pp. 13-24, PDF, HTML, DOI. Volume 3, no. 5 (May 2004)
  11. Anthony J.H. Simons, The Theory of Classification, Part 11: Adding Class Types to Object Implementations, pp. 7-19, PDF, HTML, DOI. Volume 3, no. 3 (March 2004)
  12. Anthony J.H. Simons, The Theory of Classification, Part 10: Method Combination and Super-Reference, pp. 43-53, PDF, HTML, DOI. Volume 3, no. 1 (January 2004)
  13. Anthony J.H. Simons, The Theory of Classification, Part 9: Inheritance and Self-Reference, pp. 25-34, PDF, HTML, DOI. Volume 2, no. 6 (November 2003)
  14. Ashley McNeile, Nicholas Simons, State Machines as Mixins, pp. 85-101, PDF, HTML, DOI. Volume 2, no. 6 (November 2003)
  15. Anthony J.H. Simons, The Theory of Classification, Part 8: Classification and Inheritance, pp. 55-64, PDF, HTML, DOI. Volume 2, no. 4 (July 2003)
  16. Anthony J.H. Simons, The Theory of Classification, Part 7: A Class is a Type Family, pp. 13-22, PDF, HTML, DOI. Volume 2, no. 3 (May 2003)
  17. Anthony J.H. Simons, The Theory of Classification, Part 6: The Subtyping Inquisition, pp. 17-26, PDF, HTML, DOI. Volume 2, no. 2 (March 2003)
  18. Anthony J.H. Simons, The Theory of Classification, Part 5: Axioms, Assertions and Subtyping, pp. 13-21, PDF, HTML, DOI. Volume 2, no. 1 (January 2003)
  19. Anthony J.H. Simons, The Theory of Classification, Part 4: Object Types and Subtyping, pp. 27-35, PDF, HTML, DOI. Volume 1, no. 5 (November 2002)
  20. Anthony J.H. Simons, The Theory of Classification, Part 3: Object Encoding and Recursion, pp. 49-57, PDF, HTML, DOI. Volume 1, no. 4 (September 2002)
  21. Anthony J.H. Simons, The Theory of Classification, Part 2: The Scratch-Built Typechecker, pp. 47-54, PDF, HTML, DOI. Volume 1, no. 2 (July 2002)
  22. Anthony J.H. Simons, The Theory of Classification, Part 1: Perspectives on Type Compatibility , pp. 55-61, PDF, HTML, DOI. Volume 1, no. 1 (May 2002)
The JOT Journal   |   ISSN 1660-1769   |   DOI 10.5381/jot   |   AITO   |   Open Access   |    Contact