Lionel Parreaux

icon indicating a website link http://lptk.github.io/

icon company HKUST icon location Assistant Professor at HKUST (Hong Kong University of Science and Technology), CSE department

Results 3 repositories owned by Lionel Parreaux

Boilerless

38
Stars
1
Forks
Watchers

Beautiful Syntax for Sealed Class Hierarchies

verified publisher icon LPTK

simple-sub

136
Stars
7
Forks
Watchers

Alternative algorithm for algebraic subtyping.

verified publisher icon LPTK

simpler-sub

22
Stars
1
Forks
Watchers

Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-type-variable constraints. Nevertheless, it's probably enough for...

verified publisher icon LPTK