Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by WENG KIN HO
An Operational Domain-Theoretic Treatment of Recursive Types
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
Related publications
Recursive Polymorphic Types and Parametricity in an Operational Framework
Recursive Equivalence Types and Octahedra
Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics
Domain-Theoretic Foundations of Functional Programming
Revised Operational Classification of Seizure Types
US Neurology
Neuroscience
Neurology
Recursive Method for Guaranteed Valuation of Options in Deterministic Game Theoretic Approach
SSRN Electronic Journal
Realisability Semantics of Parametric Polymorphism, General References and Recursive Types
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Fully Generic Programming Over Closed Universes of Inductive-Recursive Types
A Complete Type Inference System for Subtyped Recursive Types
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
