GitHub repository: JohnReppy/compiling-pattern-guards
Primary language: Standard ML
Created: 2019-07-04T12:39:45Z
Description: Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"