-
Notifications
You must be signed in to change notification settings - Fork 2
/
parametricity.bib
26 lines (24 loc) · 800 Bytes
/
parametricity.bib
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
@inproceedings{danielsson2006fast,
title={Fast and loose reasoning is morally correct},
author={Danielsson, Nils Anders and Hughes, John and Jansson, Patrik and Gibbons, Jeremy},
booktitle={ACM SIGPLAN Notices},
volume={41},
number={1},
pages={206--217},
year={2006},
organization={ACM}
}
@inproceedings{wadler1989theorems,
title={Theorems for free!},
author={Wadler, Philip},
booktitle={Proceedings of the fourth international conference on Functional programming languages and computer architecture},
pages={347--359},
year={1989},
organization={ACM}
}
@article{gale2002does,
title={Does Positivity Bias Explain Patterns of Performance on Wason’s 2-4-6 Task?},
author={Gale, Maggie and Ball, Linden J},
year={2002},
publisher={Lawrence Erlbaun Associates}
}