This is your work, valued

Lionel Parreaux

Expert
@LPTK

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

lptk.github.io/

simple-sub. Alternative algorithm for algebraic subtyping.

177

Boilerless. Beautiful Syntax for Sealed Class Hierarchies

38

simpler-sub. 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 what you need!

27

aggregate. Companion repository to the `Dual to Iterator' blog post

6

SeaglPrototype. Scala

2

uSeagl. Experiments with simplified version of Seagl

1

squid-examples. Scala

1

better-java. Resources for writing modern Java

1