diff options
Diffstat (limited to 'thesis.bib')
-rw-r--r-- | thesis.bib | 32 |
1 files changed, 24 insertions, 8 deletions
@@ -378,16 +378,12 @@ year = {2012} } @ARTICLE{Jacobs1994, - author = {Jacobs, Bart}, - title = {Quotients in simple type theory}, - journal = {available from the Hypatia Electronic Library: http://hypatia. dcs. - qmw. ac. uk}, - year = {1994}, - file = {:/home/bitonic/docs/papers/jacobs-quotients.pdf:PDF}, - publisher = {Citeseer} + author = {Jacobs, Bart}, + title = {Quotients in Simple Type Theory}, + journal = {Manuscript, Math. Inst}, + year = {1994} } - @inproceedings{Hofmann1994, title={The groupoid model refutes uniqueness of identity proofs}, author={Hofmann, Martin and Streicher, Thomas}, @@ -470,4 +466,24 @@ year = {2012} pages={333--345}, year={2011}, organization={ACM} +} + +@inproceedings{King1995, + title={Structuring depth-first search algorithms in Haskell}, + author={King, David J and Launchbury, John}, + booktitle={Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, + pages={344--354}, + year={1995}, + organization={ACM} +} + +@article{milner1978theory, + title={A theory of type polymorphism in programming}, + author={Milner, Robin}, + journal={Journal of computer and system sciences}, + volume={17}, + number={3}, + pages={348--375}, + year={1978}, + publisher={Elsevier} }
\ No newline at end of file |