-
Notifications
You must be signed in to change notification settings - Fork 0
/
bib.scrbl
103 lines (102 loc) · 3.5 KB
/
bib.scrbl
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
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
#lang scribble/book
@(require scribble/manual)
@(bibliography
(bib-entry
#:key "Dragon book"
#:title "Compilers: Principles, Techniques, & Tools"
#:is-book? #t
#:author "Alfred V. Aho, Monica S. Lam, Ravi Sethi and Jeffrey D. Ullman")
(bib-entry
#:key "SICP"
#:title "Structure and Interpretation of Computer Programs"
#:is-book? #t
#:author "Harold Abelson, Jerry Sussman and Julia Sussman")
(bib-entry
#:key "Tromp"
#:title "Binary Lambda Calculus and Combinatory Logic"
#:is-book? #f
#:author "John Tromp"
#:url "https://tromp.github.io/cl/LC.pdf")
(bib-entry
#:key "DrScheme"
#:title "DrScheme: A Programming Environment for Scheme"
#:is-book? #f
#:author "Robert Bruce Findler, John Clements, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Paul Steckler and Matthias Felleisen"
#:url "https://users.soe.ucsc.edu/~cormac/papers/jfp01.pdf")
(bib-entry
#:key "The Little Schemer"
#:title "The Little Schemer"
#:is-book? #t
#:author "Daniel P. Friedman and Matthias Felleisen")
(bib-entry
#:key "Leijen, 2001"
#:title "Parsec: Direct Style Monadic Parser Combinators For The Real World"
#:is-book? #f
#:author "Daan Leijen and Erik Meijer"
#:url "https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/parsec-paper-letter.pdf")
(bib-entry
#:key "Types and PL"
#:title "Types and Programming Languages"
#:is-book? #t
#:author "Benjamin C. Pierce")
(bib-entry
#:key "Parsack docs"
#:title "Parsack Documentation"
#:is-book? #f
#:author "Stephen Chang"
#:url "http://docs.racket-lang.org/parsack/index.html")
(bib-entry
#:key "McCarthy, 1978"
#:title "A Micro-manual for Lisp - Not the Whole Truth"
#:is-book? #f
#:author "John McCarthy")
(bib-entry
#:key "Church, 1932"
#:title "A Set of Postulates for the Foundation of Logic."
#:is-book? #f
#:author "Alonzo Church")
(bib-entry
#:key "Yunhe, 2005"
#:title "Virtual Machine Showdown: Stack Versus Registers"
#:is-book? #f
#:author "Yunhe Shi, David Gregg, Andrew Beatty and M. Anton Ertl")
(bib-entry
#:key "Flanagan, 1993"
#:title "The Essence of Compiling with Continuations"
#:is-book? #f
#:author "Cormac Flanagan, Amr Sabry, Bruce F. Duba and Matthias Felleisen")
(bib-entry
#:key "Appel, 1998"
#:title "Modern Compiler Implementation in Java"
#:is-book? #t
#:author "Andrew W. Appel")
(bib-entry
#:key "Chomsky, 1956"
#:title "Three Models for the Description of Language"
#:is-book? #f
#:author "Noam Chomsky")
(bib-entry
#:key "Sarkar, 2005"
#:title "A Nanopass Framework for Compiler Education"
#:is-book? #f
#:author "Dipanwita Sarkar, Oscar Waddell and R. Kent Dybvig")
(bib-entry
#:key "Keep, 2012"
#:title "A Nanopass Framework for Commercial Compiler Development"
#:is-book? #f
#:author "Andrew W. Keep")
(bib-entry
#:key "Keep, 2013"
#:title "A Nanopass Framework for Commercial Compiler Development"
#:is-book? #f
#:author "Andrew W. Keep and R. Kent Dybvig")
(bib-entry
#:key "nanopass-racket documentation"
#:title "Nanopass Framework"
#:is-book? #f
#:author "Andrew W. Keep and Leif Anderson"
#:url "https://docs.racket-lang.org/nanopass/index.html")
)
@;{https://arxiv.org/pdf/1611.00467.pdf}
@;{PAIP}
@;{http://library.readscheme.org/page8.html}