Cited By
View all- Chen SErwig MWalkingshaw E(2014)Extending Type Inference to Variational ProgramsACM Transactions on Programming Languages and Systems10.1145/251819036:1(1-54)Online publication date: 1-Mar-2014
- Chen SErwig MWalkingshaw E(2012)An error-tolerant type system for variational lambda calculusACM SIGPLAN Notices10.1145/2398856.236453547:9(29-40)Online publication date: 9-Sep-2012
- Chen SErwig MWalkingshaw EThiemann PFindler R(2012)An error-tolerant type system for variational lambda calculusProceedings of the 17th ACM SIGPLAN international conference on Functional programming10.1145/2364527.2364535(29-40)Online publication date: 9-Sep-2012
- Show More Cited By