Precise explanation of success typing errors

Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation - PEPM '13 ◽

10.1145/2426890.2426897 ◽

2013 ◽

Author(s):

Konstantinos Sagonas ◽

Josep Silva ◽

Salvador Tamarit

Download Full-text