Cited By
View all- Bernardy JPouillard N(2013)Names for freeACM SIGPLAN Notices10.1145/2578854.250378048:12(13-24)Online publication date: 23-Sep-2013
- Bernardy JPouillard NShan C(2013)Names for freeProceedings of the 2013 ACM SIGPLAN symposium on Haskell10.1145/2503778.2503780(13-24)Online publication date: 23-Sep-2013
- Cave APientka BField JHicks M(2012)Programming with binders and indexed data-typesProceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/2103656.2103705(413-424)Online publication date: 25-Jan-2012
- Show More Cited By