| Induction, Coinduction, and Fixed Points in PL Type Theory. | 0 | 0.34 | 2019 |
| Using Category Theory in Modeling Generics in OOP (Outline). | 0 | 0.34 | 2019 |
| Java Generics: An Order-Theoretic Approach (Abridged Outline). | 0 | 0.34 | 2019 |
| Induction, Coinduction, and Fixed Points: Intuitions and Tutorial. | 0 | 0.34 | 2019 |
| Mutual Coinduction. | 0 | 0.34 | 2019 |
| Java Generics: An Order-Theoretic Approach (Detailed Outline). | 0 | 0.34 | 2019 |
| Partial Cartesian Graph Product. | 0 | 0.34 | 2018 |
| Finitary-based Domain Theory in Coq: An Early Report. | 0 | 0.34 | 2018 |
| Java Subtyping as an Infinite Self-Similar Partial Graph Product. | 0 | 0.34 | 2018 |
| Fixed Points, Induction, and Coinduction in Order Theory, Set Theory, (PL) Type Theory, Category Theory, and Logic: A Concise Summary. | 0 | 0.34 | 2018 |
| NOOP: A Domain-Theoretic Model of Nominally-Typed OOP. | 0 | 0.34 | 2018 |
| Doubly F-Bounded Generics. | 0 | 0.34 | 2018 |
| Towards Taming Java Wildcards and Extending Java with Interval Types. | 0 | 0.34 | 2018 |
| Object-Oriented Theorem Proving (OOTP): First Thoughts. | 0 | 0.34 | 2017 |
| Category Theory for Modeling OOP. | 0 | 0.34 | 2017 |
| Towards a Java Subtyping Operad (extended version). | 0 | 0.34 | 2017 |
| A Comparison of NOOP to Structural Domain-Theoretic Models of Object-Oriented Programming. | 0 | 0.34 | 2016 |
| Towards an Accurate Mathematical Model of Generic Nominally-Typed OOP. | 1 | 0.43 | 2016 |
| Towards Understanding Generics. | 0 | 0.34 | 2016 |
| Why Nominal-Typing Matters in Object-Oriented Programming. | 0 | 0.34 | 2016 |
| A Domain-Theoretic Model Of Nominally-Typed Object-Oriented Programming | 6 | 0.90 | 2014 |
| Domain Theory for Modeling OOP: A Summary. | 2 | 0.38 | 2014 |
| Subtyping in Java with Generics and Wildcards is a Fractal. | 1 | 0.36 | 2014 |
| An Overview of Nominal-Typing versus Structural-Typing in Object-Oriented Programming. | 1 | 0.41 | 2013 |
