A top-down approach to teaching programming
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
ACM Computing Surveys (CSUR)
Contracts for higher-order functions
Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
ICFP 2002: Contracts for higher-order functions
ACM SIGPLAN Notices - Supplemental issue
| Hi-index | 0.00 |