Andong Fan's repositories
CP-Foundations
Artifact and extended version of Direct Foundations for Compositional Programming
Language:CSS000
mlscript
Principal Type Inference in a Boolean Algebra of Structural Types
Language:ScalaMIT000
mlscript-core-language
Codebase for the paper "MLscript: Principal Type Inference in a Boolean Algebra of Structural Types"
Language:Scala000
MSaaS-Client
MSaaS Client using React Native with Expo
Language:TypeScript000
oicode
My solutions to some OI problems (20151023~20161120)
Language:C++000
superoop
Artifact for "super-charging Object-Oriented Programming through Precise Typing of Open Recursion" at ECOOP 2023 (https://2023.ecoop.org/details/ecoop-2023-papers/41/super-charging-Object-Oriented-Programming-through-Precise-Typing-of-Open-Recursion)
Language:Scala000
TamingMerge
Coq formalization for Taming the Merge Operator
Language:Coq000