GitHub repository: kyagrd/HMtyInferUsingProlog
Primary language: TeX
Created: 2015-06-09T21:19:25Z
Description: specifying type inference for functional language usning Prolog