thwfhk
Follow
Lists (5)
Stars
The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (bdwgc, also known as bdw-gc, boehm-gc, libgc)
Most influential papers in programming languages
🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/
Efficient Haskell effect handlers based on evidence translation.
A curated list of resources for using LLMs to develop more competitive grant applications.
Organisation for reading group on Kripke-style semantics
Writing AI Conference Papers: A Handbook for Beginners
🚧 a work in progress effect system for Haskell 🚧
Client for PPP+TLS VPN tunnel services
being the materials for a paper I have in mind to write about the bidirectional discipline
A Language with Dependent Data and Codata Types
Unification and type inference algorithms
being some thoughts about introductory mathematics for computer science
Meta-theory and normalization for Fitch-style modal lambda calculi
a proof-of-concept programming language based on Call-by-push-value
Benchmark repository of polyglot effect handler examples
an attempt to solve Advent of Code 2023 using the Links programming language
A ML-like pure functional language that can be used as a template for creating your own language
Getting Into The Flow: Better Type Error Messages for Constraint-Based Type Inference (Artifact) https://dl.acm.org/doi/10.1145/3622812
Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!
Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023
a playground library for various control abstractions coded on top of effect handlers