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
|
@book{proganal,
author = {Nielson, F. and Nielson, H. R. and Hankin, C.},
edition = {Corrected},
publisher = {Springer},
title = {Principles of program analysis},
year = {1999}
}
@book{semantics,
title = {Semantics with Applications: A Formal Introduction},
author = {Nielson, H. R. and Nielson, F.},
edition = {1999 Revised},
publisher = {John Wiley \& Sons},
year = {1992}
}
@article{monads,
author = {Wadler, P.},
title = {Monads for functional programming},
year = {1995}
}
@article{algol,
author = {Backus, J. W. and Bauer, F. L. and Green, J. and Katz, C. and McCarthy, J. and Perlis, A. J. and Rutishauser, H. and Samelson, K. and Vauquois, B. and Wegstein, J. H. and van Wijngaarden, A. and Woodger, M.},
editor = {Naur, Peter},
title = {Report on the Algorithmic Language ALGOL 60},
journal = {Commun. ACM},
issue_date = {May 1960},
volume = {3},
number = {5},
month = may,
year = {1960},
issn = {0001-0782},
pages = {299--314},
numpages = {16},
url = {http://doi.acm.org/10.1145/367236.367262},
doi = {10.1145/367236.367262},
acmid = {367262},
publisher = {ACM},
address = {New York, NY, USA},
}
@article{yard,
author = {Jager, P.T.},
title = {Analysing embedded domain specific languages in Haskell from Core},
year = {2014}
}
@misc{cloogle,
author = {Lubbers, M. and Staps, C.},
title = {Cloogle},
year = {2016},
howpublished = "\mbox{\url{http://cloogle.org/}}",
note = "Accessed June 2, 2016"
}
|
