andongfan

PhD student in PL

@hkust-tacoHong Kong, China

Pinned Repositories

CP-Foundations
Artifact and extended version of Direct Foundations for Compositional Programming
Language:Coq4 1 01
diwoCG
Course Project of Computer Graphics (2020-Spring-Summer)
Language:C0 3 00
hkuplg.github.io
Language:CSS0 0 00
MiniSQL
Course Project of Database System (2020-Spring-Summer)
Language:C++3 1 03
mlscript
Principal Type Inference in a Boolean Algebra of Structural Types
Language:Scala0 0 00
mlscript-core-language
Codebase for the paper "MLscript: Principal Type Inference in a Boolean Algebra of Structural Types"
Language:Scala0 0 00
mlscript
The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!
Language:Scala155 6 6924
superf
Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.sigplan.org/details/POPL-2024-popl-research-papers/50)
Language:Scala12 0 00
superoop
Artifact for paper "super-charging Object-Oriented Programming through Precise Typing of Open Recursion" at ECOOP 2023 (https://2023.ecoop.org/details/ecoop-2023-papers/41)
Language:Scala10 1 01
qsc-mobile-ios-v3
Legacy Code of ZJU Campus App for iOS
Language:Swift11 13 11

andongfan/CP-Foundations
Artifact and extended version of Direct Foundations for Compositional Programming
Language:Coq4 1 01
andongfan/MiniSQL
Course Project of Database System (2020-Spring-Summer)
Language:C++3 1 03
andongfan/diwoCG
Course Project of Computer Graphics (2020-Spring-Summer)
Language:C0 3 00
andongfan/hkuplg.github.io
Language:CSS0 0 00
andongfan/mlscript
Principal Type Inference in a Boolean Algebra of Structural Types
Language:Scala0 0 00
andongfan/mlscript-core-language
Codebase for the paper "MLscript: Principal Type Inference in a Boolean Algebra of Structural Types"
Language:Scala0 0 00
andongfan/MSaaS-Client
MSaaS Client using React Native with Expo
Language:TypeScript0 0 00
andongfan/oicode
My solutions to some OI problems (20151023~20161120)
Language:C++0 0 00
andongfan/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:Scala0 0
andongfan/TamingMerge
Coq formalization for Taming the Merge Operator
Language:Coq0 0