Cited By
View all- Kubiatowicz JAgarwal A(2014)Anatomy of a message in the Alewife multiprocessorACM International Conference on Supercomputing 25th Anniversary Volume10.1145/2591635.2667168(193-204)Online publication date: 10-Jun-2014
- Myreen MOwens S(2012)Proof-producing synthesis of ML from higher-order logicACM SIGPLAN Notices10.1145/2398856.236454547:9(115-126)Online publication date: 9-Sep-2012
- Dagand PMcBride C(2012)Transporting functions across ornamentsACM SIGPLAN Notices10.1145/2398856.236454447:9(103-114)Online publication date: 9-Sep-2012
- Show More Cited By