stacked_automation, 8 months ago to scheme A Framework for Implementing Type Systems (2006) : Dorn, Brian Leavens, Gary T. DOI: https://doi.org/10.1145/1167473.1167479 #scheme #hindley_milner #programming #haskell #__important #type_checking #types #DSL #framework #type_inference #my_bibtex
A Framework for Implementing Type Systems (2006) : Dorn, Brian Leavens, Gary T. DOI: https://doi.org/10.1145/1167473.1167479 #scheme #hindley_milner #programming #haskell #__important #type_checking #types #DSL #framework #type_inference #my_bibtex