Back to Results
First PageMeta Content
Software engineering / Programming language theory / Computing / Type theory / Data types / Functional languages / Type systems / Lambda calculus / HindleyMilner type system / Haskell / Agda / Dependent type


Suggesting Valid Hole Fits for Typed-Holes (Experience Report) Matthías Páll Gissurarson Chalmers University of Technology, Sweden
Add to Reading List

Document Date: 2018-08-05 06:01:43


Open Document

File Size: 505,23 KB

Share Result on Facebook