GitHub repository: julien-lange/fair-asynchronous-subtyping
Primary language: Haskell
Description: Implementation of the fair asynchronous subtyping