Cited By
View all- Felty AMomigliano A(2018)HybridJournal of Automated Reasoning10.1007/s10817-010-9194-x48:1(43-105)Online publication date: 28-Dec-2018
- Licata DHarper R(2009)A universe of binding and computationACM SIGPLAN Notices10.1145/1631687.159657144:9(123-134)Online publication date: 31-Aug-2009
- Licata DHarper RHutton GTolmach A(2009)A universe of binding and computationProceedings of the 14th ACM SIGPLAN international conference on Functional programming10.1145/1596550.1596571(123-134)Online publication date: 31-Aug-2009
- Show More Cited By