Author:Moez Abdelgawad

Keyphrases

adjunctions, Bounded existential types, category theory, cofree type, Coinductive F-bounded existential types, Computer Graphics, Cybersecurity, default type, default type argument, existential type, experimental mathematics, F-algebras, F-bounded existential types, F-bounded polymorphism, F-coalgebras, fixed point, Free and cofree types, Free Type, Galois connections, generic class, generic oop, generic oop type system, generics, graph theory, group theory, Heatmaps, Interactive mathematics, Interval Type, interval type argument, Java type erasure, Java Wildcards, linear algebra, machine learning, mathematical modeling, Mathematical/Recreational Games, Nominal Typing, object-oriented programming, OO Inheritance, OO Subtyping, oo type system, oop language, order theory, Ordered sets and lattices, parameterized type, partial products, post fixed point, pre fixed point, QA-LA NIVs, QAL, QAL Lite, Quantum AI, quantum algorithms, Quantum Algorithms Lab, quantum circuits, Quantum Composer, quantum computing, quantum informatics, quantum programming, Quantum Simulators, quirk, Robotics, Structural-Typing, Subclassing, subtyping relation, valid type argument, Variance Annotations, visual mathematics, visualization, wildcard type argument, ZX-calculus.