research
∙
06/20/2019
Java Generics: An Order-Theoretic Approach (Abridged Outline)
The mathematical modeling of generics in Java and other similar nominall...
share
research
∙
06/12/2019
Using Category Theory in Modeling Generics in OOP (Outline)
Modeling generics in object-oriented programming languages such as Java ...
research
∙
05/23/2019
Java Generics: An Order-Theoretic Approach (Detailed Outline)
Generics have been added to Java so as to increase the expressiveness of...
research
∙
03/14/2019
Mutual Coinduction
In this paper we present mutual coinduction as a dual of mutual inductio...
research
∙
02/26/2019
Induction, Coinduction, and Fixed Points in PL Type Theory
Recently we presented a concise survey of the formulation of the inducti...
research
∙
02/26/2019
Induction, Coinduction, and Fixed Points: Intuitions and Tutorial
Recently we presented a concise survey of the formulation of the inducti...
research
∙
12/25/2018
Induction, Coinduction, and Fixed Points: A Concise Comparative Survey
In this survey article (which hitherto is an ongoing work-in-progress) w...
research
∙
12/25/2018
Induction, Coinduction, and Fixed Points: A Concise Comparative Survey (and Tutorial)
In this survey paper (which hitherto is an ongoing work-in-progress) we ...
research
∙
12/25/2018
Induction, Coinduction, and Fixed Points: A Concise Survey
In this survey paper (which hitherto is an ongoing work-in-progress) we ...
research
∙
12/25/2018
Induction, Coinduction, and Fixed Points: A Concise Survey (and Tutorial)
In this survey paper we present the formulation of the induction and coi...
research
∙
12/25/2018
Induction, Coinduction, and Fixed Points in Order Theory, Set Theory, (PL) Type Theory, Logic, and Category Theory: A Concise Survey (and Tutorial)
In this paper we present the formulation of the induction and coinductio...
research
∙
12/25/2018
Fixed Points, Induction, and Coinduction in Order Theory, Set Theory, (PL) Type Theory, Category Theory, and Logic: A Concise Summary
In this note we present the formulation of the induction and coinduction...
research
∙
12/25/2018
Fixed Points, Induction, and Coinduction in Order Theory, Set Theory, Type Theory, Category Theory, and Logic: A Concise Summary
In this note we present the formulation of the induction and co-inductio...
research
∙
08/18/2018
Doubly F-Bounded Generics
In this paper we suggest how f-bounded generics in nominally-typed OOP c...
research
∙
05/18/2018
Towards Taming Java Wildcards and Extending Java with Interval Types
Of the complex features of generic nominally-typed OO type systems, wild...
research
∙
05/18/2018
Java Subtyping as an Infinite Self-Similar Partial Graph Product
Due to supporting variance annotations, such as wildcard types, the subt...
research
∙
05/18/2018
Partial Cartesian Graph Product
In this paper we define a new product-like binary operation on directed ...
research
∙
01/17/2018
Finitary-based Domain Theory in Coq: An Early Report
In domain theory every finite computable object can be represented by a ...
research
∙
12/28/2017
Object-Oriented Theorem Proving (OOTP): First Thoughts
Automatic (i.e., computer-assisted) theorem proving (ATP) can come in ma...
research
∙
09/23/2017
Novel Uses of Category Theory in Modeling OOP
An outline and summary of four new potential applications of category th...
research
∙
09/23/2017
Category Theory for Modeling OOP
An outline and summary of four new potential applications of category th...
research
∙
06/01/2017
Towards a Java Subtyping Operad
The subtyping relation in Java exhibits self-similarity. The self-simila...
research
∙
06/01/2017