-
Notifications
You must be signed in to change notification settings - Fork 2
/
monads.bib
82 lines (72 loc) · 2.73 KB
/
monads.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
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
@ARTICLE{Wadler92-compreh-monads,
AUTHOR = {Philip Wadler},
TITLE = {{Comprehending Monads}},
JOURNAL = {Mathematical Structures in Computer Science},
YEAR = {1990},
VOLUME = {2},
NUMBER = {4},
PAGES = {461--493},
Annotating = {}
}
% note = { http://cm.bell-labs.com/cm/cs/who/wadler/topics/monads.html },
@misc{Hutton-Meijer96,
AUTHOR = {Graham Hutton and Erik Meijer},
TITLE = {Monadic Parser Combinators},
HOWPUBLISHED = {Tech.~rep.~ NOTTCS-TR-96-4},
school = {Department of Computer Science, University of Nottingham},
year = {1996}
}
% note = {http://www.cs.nott.ac.uk/Department/Staff/gmh/monparsing.ps},
@ARTICLE{Hutton92,
AUTHOR = {Graham Hutton},
TITLE = {{Higher-order functions for parsing}},
JOURNAL = {Journal of Functional Programming},
YEAR = {1992},
VOLUME = {2},
PAGES = {232--343},
NOTE = {http://www.cs.nott.ac.uk/Department/Staff/gmh/parsing.ps}
}
@inproceedings{Wadler85,
author = {Philip Wadler},
title = {{How to replace a failure with a list of successes}},
booktitle = {{Functional Programming Languages and Architecture, LNCS 201}},
year = {1985},
pages = {113--128}
}
@article{Wadler93,
author = {Philip Wadler},
title = {{Monads for Functional Programming}},
journal = {Computer and Systems Sciences},
volume = {118},
year = {1992},
note = {http://www.cs.bell-labs.com/who/wadler/topics/monads.html}
}
@inproceedings{Swierstra00,
author = {S.D.~Swierstra},
title = {{Parser Combinators, from Toys to Tools}},
booktitle = {{Haskell Workshop}},
year = {2000},
pages = {113--128},
note = {http://www.cs.ruu.nl/people/doaitse/}
}
@inproceedings{Swierstra99,
author = {S.D.~Swierstra and A.~Alcocer},
title = {{Fast, Error Correcting Parser Combinators: A Short Tutorial}},
booktitle = {{SOFSEM'99 Theory and Practice of Informatics (LNCS 1725, Springer-Verlag)}},
year = {1999},
pages = {111-129},
note = {http://www.cs.ruu.nl/people/doaitse/}
}
@inproceedings{Chakravarty99,
author = {M.T.~Chakravarty},
title = {{Lazy Lexing is Fast}},
booktitle = {{Fourth Fuji International Symposium on Functional and Logic Programming (LNCS 1722, Springer-Verlag)}},
year = {1999},
note = {http://www.cse.unsw.edu.au/~chak/papers/papers.html}
}
@inproceedings{Moggi89,
author = {E.~Moggi},
title = {{Computational lambda-calculus and monads}},
booktitle = {{IEEE Symposium on Logic in Computer Science}},
year = {1989}
}