forked from nuprl/website
-
Notifications
You must be signed in to change notification settings - Fork 0
/
teaching.rkt
354 lines (338 loc) · 31.2 KB
/
teaching.rkt
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
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
#lang scribble/html
@require[
"templates.rkt"
(only-in racket/list add-between make-list)
]
@(define (vertical-text . str*)
(add-between (string->list (append* str*)) (br)))
@(define (indent)
@(make-list 4 nbsp))
@(define (instructor . name)
@span[class: "pn-muted" name])
@doctype{html}
@html[lang: "en"]{
@header{Teaching}
@body[id: "pn-top"]{
@navbar{Teaching}
@subpage-title{Teaching}
@div[class: "pn-main-wrapper"]{
@div[class: "content"]{
@div[class: "container"]{
@div[class: "row"]{
@p{PRL Faculty & Staff write academic @a[href: "#books1"]{books}, teach @a[href: "#courses"]{courses}, and write @a[href: "#books2"]{more books}.}}}
@div[class: "pn-separator-img-short"]
@div[class: "container"]{
@a[name: "#books1" id: "books1"]
@div[class: "row"]{
@div[class: "col-md-12"]{
@div[class: "col-md-4"]{
@span[class: "how-to-design-programs"]{@vertical-text{How to Design}}
@p{@img[src: "img/how-to-design-programs.jpg" alt: "How to Design Programs"] @br{} @span[class: "how-to-design-programs-2"]{Programs}}}
@div[class: "col-md-8"]{
@p{@i{How To Design Programs} focuses on the program design process,
distinguishing it from other introductory books.
This approach fosters a variety of skills --- critical reading,
analytical thinking, creative synthesis, and attention to detail.
On the surface we use engaging contexts, our "hello world" program
is an animation, and students have the opportunity to program games, etc.}
@p{We have spent over twenty years developing the related Program By Design curriculum and have offerings at the middle-school, high-school and university levels. Our material is even used for in-house corporate training.}
@p{This is the primary textbook for our courses @a[href: "http://www.ccs.neu.edu/course/cs5010/"]{CS 5010} and @a[href: "http://www.ccs.neu.edu/course/cs2500/"]{CS 2500}.
@url{www.htdp.org} @br{}
@url{http://www.ccs.neu.edu/home/matthias/HtDP2e/} @br{}
@url{http://www.programbydesign.org}
@url{http://www.bootstrapworld.org}}
} @br{} }}}
@div[class: "pn-separator-img"]
@div[class: "container"]{
@div[class: "row"]{
@div[class: "col-md-12"]{
@div[class: "col-md-8"]{
@p{@i{Essentials of Programming Languages} is a study of programming languages. Our goal is to provide a deep, working understanding of the essential concepts of programming languages. These essentials have proved to be of enduring importance; they form a basis for understanding future developments in programming languages.}
@p{Our approach is both theoretical and hands-on. The book provides views of programming languages using widely varying levels of abstraction, maintaining a clear connection between the high-level and low-level views. The text uses interpreters to express the semantics of many essential language elements in a way that is both clear and executable.}
@p{@url{http://www.eopl3.com}}}
@div[class: "col-md-4"]{
@span[class: "essentials-of-programming-languages"]{@vertical-text{Essentials}}
@p[style: "text-align: right ;"]{
@img[src: "img/essentials-of-programming-languages.jpg" alt: "Essentials of programming languages" style: "float: right;"]
@br{}
@span[class: "essentials-of-programming-languages-2"]{of Programming @br{} Languages}}}}}}
@div[class: "pn-separator-img"]
@div[class: "container"]{
@div[class: "row"]{
@div[class: "col-md-12"]{
@div[class: "col-md-4"]{
@span[class: "how-to-design-programs"]{@vertical-text{Semantics}}
@p{@img[src: "img/redex.jpg" width: "250px" alt: "Semantics Engineering with PLT Redex"]
@br{}
@span[class: "how-to-design-programs-2"]{Engineering with @br{} PLT Redex}}}
@div[class: "col-md-8"]{
@p{@i{Semantics Engineering with PLT Redex} is the first comprehensive presentation of reduction semantics in one volume. It also introduces the first reliable and easy-to-use tool set for such forms of semantics.}
@p{Automatic tool support is critical for rapid prototyping and modeling and this book is addressed to the working semantics engineer. With PLT Redex, semanticists can formulate models as grammars and reduction models on their computers with the ease of paper-and-pencil designs.}
@p{This text first presents a framework for the formulation of language models, focusing on equational calculi and abstract machines, then introduces PLT Redex, a suite of software tools for expressing these models as PLT Redex models. Finally, experts describe a range of models formulated in Redex.}
@p{This is the primary textbook for our course @a[href: "http://www.ccs.neu.edu/home/amal/course/7400-s17/"]{CS 7400} - Intensive Principles of Programming Languages.}
@p{@url{http://redex.racket-lang.org/}}
@br{} @br{}
}}}}
@div[class: "pn-separator-img-short"]
@div[class: "container"]{
@div[class: "row"]{
@div[class: "col-md-12"]{
@h2{Courses}
@a[name: "#courses" id: "courses"]}
@div[class: "col-md-6"]{
@ul{
@li{
@strong{7976} Directed Study
@br{}
@indent{} S 2020 Seminar in Technical Writing @instructor{Mitch Wand}
@br{}
@indent{} F 2019 Seminar in Technical Writing @a[href: "https://course.ccs.neu.edu/cs7976f19/" target: "_blank"]{link} @instructor{Mitch Wand}
@br{}
@indent{} F 2018 Seminar in Technical Writing @a[href: "https://course.ccs.neu.edu/cs7976f18/" target: "_blank"]{link} @instructor{Mitch Wand}
}
@li{
@strong{7680} Special Topics in Computer Systems
@br{}
@indent{} F 2016 Programming Models for Distributed Computing @a[href: "http://heather.miller.am/teaching/cs7680/" target: "_blank"]{link} @instructor{Heather Miller}
}
@li{
@strong{7580} Special Topics in Software Engineering
@br{}
@indent{} F 2019 Intensive Software, Construction and Engineering @a[href: "http://janvitek.org/events/NEU/7580/" target: "_blank"]{link} @instructor{Jan Vitek}
}
@li{
@strong{7480} Special Topics in Programming Languages
@br{}
@indent{} S 2024 @instructor{Olin Shivers}
@br{}
@indent{} S 2021 History of Programming Languages @a[href: "https://felleisen.org/matthias/7480-s21/index.html" target: "_blank"]{link} @instructor{Matthias Fellsein}
@br{}
@indent{} F 2020 Type Systems @instructor{John Boyland}
@br{}
@indent{} S 2019 Gradual Typing and Principled Language Interoperability @a[href: "http://www.ccs.neu.edu/home/amal/course/7480-s19/" target: "_blank"]{link} @instructor{Amal Ahmed}
@br{}
@indent{} S 2017 History of Programming Languages @a[href: "http://www.ccs.neu.edu/home/matthias/7480-s17/index.html" target: "_blank"]{link} @instructor{Matthias Fellsein}
@br{}
@indent{} F 2016 Advanced Program Analysis @a[href: "https://docs.google.com/document/d/1JeYoC-dmCxLgYuQcv5tU1rfez6IRf_OKO4ipeRtQd7o" target: "_blank"]{link} @instructor{Frank Tip}
@br{}
@indent{} F 2015 Types, Contracts, and Gradual Typing @a[href: "http://www.ccs.neu.edu/home/amal/course/7480-f15/" target: "_blank"]{link} @instructor{Amal Ahmed}
@br{}
@indent{} S 2012 Type Systems @a[href: "http://www.ccs.neu.edu/home/amal/course/7480-s12/" target: "_blank"]{link} @instructor{Amal Ahmed}
}
@li{
@strong{7400} Intensive Principles of Programming Languages
@br{}
@indent{} S 2020 @a[href: "http://www.ccs.neu.edu/home/amal/course/7400-s20/" target: "_blank"]{link} @instructor{Amal Ahmed} @br{}
@indent{} S 2017 @a[href: "http://www.ccs.neu.edu/home/amal/course/7400-s17/" target: "_blank"]{link} @instructor{Amal Ahmed} @br{}
@indent{} F 2016 @a[href: "http://www.ccs.neu.edu/home/amal/course/7400-f16/" target: "_blank"]{link} @instructor{Amal Ahmed} @br{}
@indent{} S 2016 @a[href: "http://www.ccs.neu.edu/home/amal/course/7400-s16/" target: "_blank"]{link} @instructor{Amal Ahmed} @br{}
@indent{} S 2015 @a[href: "http://www.ccs.neu.edu/home/amal/course/7400-s15/" target: "_blank"]{link} @instructor{Amal Ahmed} @br{}
@indent{} S 2014 @a[href: "http://www.ccs.neu.edu/home/matthias/7400-s14/" target: "_blank"]{link} @instructor{Matthias Felleisen} @br{}
@indent{} F 2012 @a[href: "http://www.ccs.neu.edu/home/matthias/7400-f12/" target: "_blank"]{link} @instructor{Matthias Felleisen} @br{}
@indent{} F 2011 @a[href: "http://www.ccs.neu.edu/home/matthias/7400-f11/" target: "_blank"]{link} @instructor{Matthias Felleisen}
}
@li{
@strong{6515} Software Design and Development @br{}
@indent{} S 2013 @a[href: "http://www.ccs.neu.edu/home/matthias/6515-s13/" target: "_blank"]{link} @instructor{Matthias Felleisen}
}
@li{
@strong{6240} Parallel Data Processing in MapReduce @br{}
@indent{} F 2017 @a[href: "http://janvitek.github.io/pdpmr/f17/" target: "_blank"]{link} @instructor{Jan Vitek} @br{}
@indent{} S 2016 @a[href: "https://sites.google.com/site/mapreduce16s/" target: "_blank"]{link} @instructor{Jan Vitek} @br{}
@indent{} S 2015 @a[href: "https://sites.google.com/site/mapreduce15s/" target: "_blank"]{link} @instructor{Jan Vitek}
}
@li{
@strong{6050 DS} Seminar in Data Science @br{}
@indent{} S 2019 Expeditions in Data Science @a[href: "http://janvitek.org/events/NEU/6050/" target: "_blank"]{link} @instructor{Jan Vitek} @br{}
}
@li{
@strong{5963} Relation and Constraint Programming @br{}
@indent{} S 2021 @a[href: "https://pages.github.ccs.neu.edu/jhemann/21SP-CS5963/" target: "_blank"]{link} @instructor{Jason Hemann} @br{}
}
@li{
@strong{5500} Foundations of Software Engineering @br{}
@indent{} F 2020 @a[href: "https://pages.github.ccs.neu.edu/CS5500-CourseMaterials/CS4530-CS5500-Fall2020/index.html" target: "_blank"]{link} @instructor{Mitch Wand, Frank Tip, Jon Bell} @br{}
@indent{} F 2019 @a[href: "https://pages.github.ccs.neu.edu/CS5500-CourseMaterials/2019-Fall-Section1/index.html" target: "_blank"]{link} @instructor{Frank Tip} @br{}
@indent{} S 2017 @a[href: "http://www.ccs.neu.edu/course/cs5500sp17/" target: "_blank"]{link} @instructor{Michael Weintraub, Frank Tip} @br{}
}
@li{
@strong{5110 DS} Introduction to Data Science @br{}
@indent{} S 2017 @a[href: "http://janvitek.org/events/NEU/5110/" target: "_blank"]{link} @instructor{Jan Vitek} @br{}
}
@li{
@strong{5010} Program Design Paradigms @br{}
@indent{} S 2017 @a[href: "http://www.ccs.neu.edu/course/cs5010sp17" target: "_blank"]{link} @instructor{William D. Clinger} @br{}
@indent{} F 2016 @a[href: "http://www.ccs.neu.edu/course/cs5010f16" target: "_blank"]{link} @instructor{Mitch Wand, William D. Clinger, James Miller, Ezra Kilty} @br{}
@indent{} S 2016 @a[href: "http://www.ccs.neu.edu/course/cs5010sp16" target: "_blank"]{link} @instructor{William D. Clinger, Kevin Gold} @br{}
@indent{} F 2015 @a[href: "http://www.ccs.neu.edu/course/cs5010f15" target: "_blank"]{link} @instructor{Mitch Wand, William D. Clinger} @br{}
@indent{} S 2015 @a[href: "http://www.ccs.neu.edu/course/cs5010sp15" target: "_blank"]{link} @instructor{Stephen Chang} @br{}
@indent{} F 2014 @a[href: "http://www.ccs.neu.edu/course/cs5010f14" target: "_blank"]{link} @instructor{Mitch Wand, Stephen Chang, Jan Vitek} @br{}
@indent{} S 2014 @a[href: "http://www.ccs.neu.edu/course/cs5010sp14/" target: "_blank"]{link} @instructor{Ryan Culpepper} @br{}
@indent{} F 2013 @a[href: "http://www.ccs.neu.edu/course/cs5010f13/" target: "_blank"]{link} @instructor{Ryan Culpepper}
}
}}
@div[class: "col-md-6"]{
@ul{
@li{
@strong{4973/7580} Advanced Software Engineering @br{}
@indent{} S 2023 @a[href: "https://neu-se.github.io/CS4910-7580-Spring-2023/" target: "_blank"]{link} @instructor{Jon Bell}
}
@li{
@strong{4910} Type Systems @br{}
@indent{} F 2020 @instructor{John Boyland}
}
@li{
@strong{4620} Building Extensible Systems @br{}
@indent{} S 2018 Hack Your Own Language @a[href: "https://felleisen.org/matthias/4620-s18/index.html" target: "_blank"]{link} @instructor{Matthias Felleisen, Stephen Chang} @br{}
@indent{} S 2015 @a[href: "http://www.ccs.neu.edu/home/matthias/4620-s15/" target: "_blank"]{link} @instructor{Matthias Felleisen}
}
@li{
@strong{4500} Software Development @br{}
@indent[] F 2023 @a[href: "https://felleisen.org/matthias/4500-f23/index.html" target: "_blank"]{link} @instructor{Matthias Felleisen, Ben Lerner} @br{}
@indent[] F 2022 @a[href: "https://felleisen.org/matthias/4500-f22/index.html" target: "_blank"]{link} @instructor{Matthias Felleisen, Ben Lerner} @br{}
@indent[] F 2020 @a[href: "https://www.ccs.neu.edu/home/matthias/4500-f20/" target: "_blank"]{link} @instructor{Matthias Felleisen, Jason Hemann} @br{}
@indent[] S 2020 @a[href: "http://janvitek.org/events/NEU/4500/s20/" target: "_blank"]{link} @instructor{Jan Vitek, Jason Hemann, Ferdinand Vesely} @br{}
@indent[] F 2019 @a[href: "https://felleisen.org/matthias/4500-f19/" target: "_blank"]{link} @instructor{Matthias Felleisen} @br{}
@indent[] F 2018 @a[href: "https://felleisen.org/matthias/4500-f18/" target: "_blank"]{link} @instructor{Matthias Felleisen, Jason Hemann} @br{}
@indent[] S 2016 @a[href: "https://felleisen.org/matthias/4500-s16/" target: "_blank"]{link} @instructor{Matthias Felleisen}
}
@li{
@strong{4410/6410} Compilers @br{}
@indent[] S 2024 @a[href: "https://courses.ccs.neu.edu/cs4410/" target: "_blank"]{link} @instructor{Ben Lerner} @br{}
@indent[] S 2023 @a[href: "https://courses.ccs.neu.edu/cs4410/" target: "_blank"]{link} @instructor{Ben Lerner} @br{}
@indent[] F 2022 @a[href: "https://courses.ccs.neu.edu/cs4410/" target: "_blank"]{link} @instructor{Olin Shivers} @br{}
@indent[] S 2021 @a[href: "https://courses.ccs.neu.edu/cs4410/" target: "_blank"]{link} @instructor{Ben Lerner} @br{}
@indent[] S 2020 @a[href: "https://course.ccs.neu.edu/cs4410sp20/" target: "_blank"]{link} @instructor{Ben Lerner} @br{}
@indent[] F 2019 @a[href: "https://course.ccs.neu.edu/csu4410/" target: "_blank"]{link} @instructor{Olin Shivers} @br{}
@indent[] S 2019 @a[href: "https://course.ccs.neu.edu/cs4410sp19/" target: "_blank"]{link} @instructor{Ben Lerner} @br{}
@indent[] F 2018 @a[href: "https://course.ccs.neu.edu/csu4410/" target: "_blank"]{link} @instructor{Olin Shivers} @br{}
@indent[] S 2017 @a[href: "https://course.ccs.neu.edu/cs4410sp17/" target: "_blank"]{link} @instructor{Ben Lerner} @br{}
@indent[] F 2013 @a[href: "http://www.ccs.neu.edu/home/amal/course/4410-s13/" target: "_blank"]{link} @instructor{Amal Ahmed} @br{}
@indent[] S 2012 @a[href: "http://www.ccs.neu.edu/course/csu4410/" target: "_blank"]{link} @instructor{Olin Shivers}
}
@li{
@strong{4100} Artificial Intelligence @br{}
@indent[] F 2022 @instructor{Steven Holtzen} @br{}
}
@li{
@strong{4400} Programming Languages @br{}
@indent[] S 2024 @instructor{Steven Holtzen} @br{}
@indent[] S 2021 @a[href: "https://pages.github.ccs.neu.edu/jhemann/21SP-CS4400/" target: "_blank"]{link} @instructor{Jason Hemann} @br{}
@indent[] S 2020 @a[href: "https://felleisen.org/matthias/4400-s20/" target: "_blank"]{link} @instructor{Matthias Felleisen} @br{}
@indent[] F 2018 @a[href: "https://pl.barzilay.org/" target: "_blank"]{link} @instructor{Jason Hemann}
}
@li{
@strong{4530} Fundamentals of Software Engineering @br{}
@indent{} S 2024 @a[href: "https://neu-se.github.io/CS4530-Spring-2024/" target: "_blank"]{link} @instructor{Mitch Wand, Jon Bell} @br{}
@indent{} F 2023 @a[href: "https://neu-cs4530-fall2023.github.io/CoursePage-Fall2023/" target: "_blank"]{link} @instructor{Frank Tip} @br{}
@indent{} F 2023 @a[href: "https://neu-se.github.io/CS4530-Fall-2023/" target: "_blank"]{link} @instructor{Mitch Wand} @br{}
@indent{} S 2023 @a[href: "https://neu-se.github.io/CS4530-Spring-2023/" target: "_blank"]{link} @instructor{Mitch Wand, Jan Vitek} @br{}
@indent{} F 2022 @a[href: "https://neu-se.github.io/CS4530-Fall-2022/" target: "_blank"]{link} @instructor{Mitch Wand, Jon Bell} @br{}
@indent{} S 2021 @a[href: "https://neu-se.github.io/CS4530-CS5500-Spring-2021" target: "_blank"]{link} @instructor{Jon Bell, John Boyland, Mitch Wand} @br{}
@indent{} F 2020 @a[href: "https://pages.github.ccs.neu.edu/CS5500-CourseMaterials/CS4530-CS5500-Fall2020/index.html" target: "_blank"]{link} @instructor{Frank Tip, Jon Bell} @br{}
}
@li{
@strong{3800} Theory of Computation @br{}
@indent[] F 2015 @a[href: "http://www.ccs.neu.edu/course/cs3800f15wc/" target: "_blank"]{link} @instructor{William D. Clinger}
}
@li{
@strong{3520} Programming in C++ @br{}
@indent[] S 2023 @instructor{James Perretta}
}
@li{
@strong{3500} Object Oriented Design @br{}
@indent[] F 2023 @a[href: "https://course.ccs.neu.edu/cs3500f23/" target: "_blank"]{link} @instructor{Ben Lerner} @br{}
@indent[] F 2022 @instructor{Ben Lerner} @br{}
@indent[] F 2019 @a[href: "https://course.ccs.neu.edu/cs3500f19/" target: "_blank"]{link} @instructor{Ben Lerner, Clark Freifeld, Alex Grob} @br{}
@indent[] F 2018 @a[href: "https://course.ccs.neu.edu/cs3500f18/" target: "_blank"]{link} @instructor{Ben Lerner, Amit Shesh, Clark Freifeld} @br{}
@indent[] F 2016 @a[href: "https://course.ccs.neu.edu/cs3500f16/" target: "_blank"]{link} @instructor{Ben Lerner, Amit Shesh} @br{}
@indent[] F 2015 @a[href: "http://www.ccs.neu.edu/course/cs3500/" target: "_blank"]{link} @instructor{Ben Lerner}
}
@li{
@strong{2800} Logic and Computation @br{}
@indent[] S 2024 @a[href: "https://course.ccs.neu.edu/cs2800sp24/" target: "_blank"]{link} @instructor{Daniel Patterson} @br{}
@indent[] F 2023 @instructor{Olin Shivers} @br{}
@indent[] S 2023 @a[href: "https://course.ccs.neu.edu/cs2800sp23/" target: "_blank"]{link} @instructor{Daniel Patterson} @br{}
@indent[] S 2021 @a[href: "https://pages.github.ccs.neu.edu/jhemann/21SP-CS2800/" target: "_blank"]{link} @instructor{Jason Hemann} @br{}
@indent[] F 2020 @a[href: "https://pages.github.ccs.neu.edu/jhemann/20FA-2800/" target: "_blank"]{link} @instructor{Jason Hemann} @br{}
@indent[] S 2020 @a[href: "https://www.khoury.northeastern.edu/~pete/courses/Logic-and-Computation/2020-Spring/" target: "_blank"]{link} @instructor{Pete Manolios, Olin Shivers}
}
@li{
@strong{2510} Fundamentals of Computer Science 2 @br{}
@indent[] S 2024 @a[href: "https://course.ccs.neu.edu/cs2510/" target: "_blank"]{link} @instructor{Ben Lerner} @br{}
@indent[] S 2024 accelerated @a[href: "https://course.ccs.neu.edu/cs2510a/" target: "_blank"]{link} @instructor{Ben Lerner} @br{}
@indent[] S 2023 @a[href: "https://course.ccs.neu.edu/cs2510/" target: "_blank"]{link} @instructor{Ben Lerner} @br{}
@indent[] S 2023 accelerated @a[href: "https://course.ccs.neu.edu/cs2510a/" target: "_blank"]{link} @instructor{Ben Lerner} @br{}
@indent[] S 2021 accelerated @a[href: "https://course.ccs.neu.edu/cs2510a/" target: "_blank"]{link} @instructor{Ben Lerner} @br{}
@indent[] S 2020 accelerated @a[href: "https://course.ccs.neu.edu/cs2510asp20/" target: "_blank"]{link} @instructor{Ben Lerner} @br{}
@indent[] S 2019 @a[href: "https://course.ccs.neu.edu/cs2510sp19/" target: "_blank"]{link} @instructor{Leena Razzaq, Jason Hemann, Matthew Singer} @br{}
@indent[] S 2019 accelerated @a[href: "https://course.ccs.neu.edu/cs2510asp19/" target: "_blank"]{link} @instructor{Ben Lerner, Matthew Singer} @br{}
@indent[] S 2018 @a[href: "https://course.ccs.neu.edu/cs2510sp18/" target: "_blank"]{link} @instructor{Ben Lerner, Nada Naji, Clark Freifeld, Jan Vitek, Becca MacKenzie} @br{}
@indent[] S 2018 accelerated @a[href: "https://course.ccs.neu.edu/cs2510asp18/" target: "_blank"]{link} @instructor{Ben Lerner, Becca MacKenzie} @br{}
@indent[] S 2017 @a[href: "http://www.ccs.neu.edu/course/cs2510sp17/" target: "_blank"]{link} @instructor{Ben Lerner, Nada Naji, Leena Razzaq, Clark Freifeld, Becca MacKenzie} @br{}
@indent[] S 2016 @a[href: "http://www.ccs.neu.edu/course/cs2510f16/" target: "_blank"]{link} @instructor{Ben Lerner, Nada Naji, Leena Razzaq, Magy Seif El-Nasr} @br{}
@indent[] S 2015 @a[href: "http://www.ccs.neu.edu/course/cs2510sp15/" target: "_blank"]{link} @instructor{Ben Lerner, Leena Razzaq} @br{}
@indent[] F 2014 @a[href: "http://www.ccs.neu.edu/course/cs2510f14/" target: "_blank"]{link} @instructor{Ben Lerner, Leena Razzaq} @br{}
@indent[] S 2014 honors @a[href: "http://www.ccs.neu.edu/home/cs2510hsp14/" target: "_blank"]{link} @instructor{Ben Lerner}
}
@li{
@strong{2500} Fundamentals of Computer Science @br{}
@indent{} F 2023 @instructor{Daniel Patterson, Arjun Guha} @br{}
@indent{} S 2023 @a[href: "https://course.ccs.neu.edu/cs2500/" target: "_blank"]{link} @instructor{Olin Shivers} @br{}
@indent{} F 2022 accelerated @a[href: "https://arjunguha.github.io/nu-2022F-CS2500Accel/" target: "_blank"]{link} @instructor{Arjun Guha} @br{}
@indent{} F 2022 @a[href: "http://www.ccs.neu.edu/course/cs2500/" target: "_blank"]{link} @instructor{Nate Derbinsky, John Park, Daniel Patterson, Leena Razzaq, Olin Shivers} @br{}
@indent{} F 2020 accelerated @a[href: "https://course.ccs.neu.edu/cs2500accelf20/" target: "_blank"]{link} @instructor{Amal Ahmed, Ben Lerner} @br{}
@indent{} F 2020 @a[href: "http://www.ccs.neu.edu/course/cs2500/" target: "_blank"]{link} @instructor{Amal Ahmed, Ben Lerner, Arjun Guha, John Park, Ferdinand Vesely} @br{}
@indent{} F 2019 accelerated @a[href: "https://course.ccs.neu.edu/cs2500accelf19/" target: "_blank"]{link} @instructor{Amal Ahmed} @br{}
@indent{} S 2019 @a[href: "http://www.ccs.neu.edu/course/cs2500/" target: "_blank"]{link} @instructor{Olin Shivers} @br{}
@indent{} F 2018 accelerated @a[href: "https://course.ccs.neu.edu/cs2500accelf18/" target: "_blank"]{link} @instructor{Amal Ahmed} @br{}
@indent{} F 2017 @a[href: "https://course.ccs.neu.edu/cs2500f17/" target: "_blank"]{link} @instructor{Ben Lerner, Alan Mislove, Christo Wilson, Nada Naji, Byron Wallace} @br{}
@indent{} F 2017 accelerated @a[href: "https://course.ccs.neu.edu/cs2500accelf17/" target: "_blank"]{link} @instructor{Matthias Felleisen} @br{}
@indent{} S 2017 @a[href: "http://www.ccs.neu.edu/course/cs2500/" target: "_blank"]{link} @instructor{Olin Shivers, Nat Tuck} @br{}
@indent{} F 2016 @a[href: "http://www.ccs.neu.edu/course/cs2500f16/" target: "_blank"]{link} @instructor{Matthias Felleisen, Amal Ahmed, Ben Lerner} @br{}
@indent{} F 2016 accelerated @a[href: "http://www.ccs.neu.edu/course/cs2500accelf16/" target: "_blank"]{link} @instructor{Olin Shivers} @br{}
@indent{} F 2015 @a[href: "http://www.ccs.neu.edu/course/cs2500hfa15/" target: "_blank"]{link} @instructor{Olin Shivers} @br{}
@indent{} F 2015 honors @a[href: "http://www.ccs.neu.edu/course/cs2500f15/" target: "_blank"]{link} @instructor{Ben Lerner} @br{}
@indent{} F 2014 @a[href: "http://www.ccs.neu.edu/course/cs2500f14/index.html" target: "_blank"]{link} @instructor{Olin Shivers, Amal Ahmed, Ben Lerner} @br{}
@indent{} S 2014 @a[href: "http://www.ccs.neu.edu/course/cs2500sp14/index.html" target: "_blank"]{link} @instructor{Amal Ahmed} @br{}
@indent{} F 2013 @a[href: "http://www.ccs.neu.edu/course/cs2500f13/index.html" target: "_blank"]{link} @instructor{Matthias Felleisen, Amal Ahmed} @br{}
@indent{} F 2011 @a[href: "http://www.ccs.neu.edu/course/csu211/" target: "_blank"]{link} @instructor{Amal Ahmed}
}
@li{
@strong{1101} Computer Science and its Applications @br{}
@indent{} S 2024 @a[href: "https://docs.google.com/document/d/1uQDyacA0GwsQMGqKo4eMRhXOf1uFcOZbxykmmAp2nQQ/edit" target: "_blank"]{link} @instructor{Karl Lieberherr} @br{}
@indent{} F 2023 @a[href: "https://docs.google.com/document/d/1uQDyacA0GwsQMGqKo4eMRhXOf1uFcOZbxykmmAp2nQQ/edit" target: "_blank"]{link} @instructor{Karl Lieberherr} @br{}
@indent{} S 2023 @a[href: "https://docs.google.com/document/d/1uQDyacA0GwsQMGqKo4eMRhXOf1uFcOZbxykmmAp2nQQ/edit" target: "_blank"]{link} @instructor{Karl Lieberherr} @br{}
@indent{} F 2022 @a[href: "https://docs.google.com/document/d/1uQDyacA0GwsQMGqKo4eMRhXOf1uFcOZbxykmmAp2nQQ/edit" target: "_blank"]{link} @instructor{Karl Lieberherr} @br{}
}}}}}
@div[class: "pn-separator-img-short"]
@div[class: "container"]{
@div[class: "row"]{
@div[class: "col-md-12"]{
@div[class: "col-md-8"]{
@a[name: "#books2" id: "books2"]
@p{Racket is a descendant of Lisp, a programming language renowned for its elegance, power, and challenging learning curve. But while Racket retains the functional goodness of Lisp, it was designed with beginning programmers in mind and Realm of Racket is an introduction to the Racket language.}
@p{Our approach teaches programming by creating increasingly complex games. The journey begins with the Guess My Number game and coverage of some basic Racket etiquette. Next, readers dig into syntax and semantics, lists, structures, and conditionals, and learn to work with recursion and the GUI in building the Robot Snake game. Then it's on to lambda and mutant structs (and an Orc Battle), and fancy loops and the Dice of Doom. Finally, readers explore laziness, AI, distributed games, and the Hungry Henry game.}
@p{@url{http://realmofracket.com/realmofracket.com}}
@br{}}
@div[class: "col-md-4"]{
@p[style: "text-align: right;"]{
@img[src: "img/racket.jpg" width: "250px" alt: "Realm of Racket"]
@br{}
@span[class: "essentials-of-programming-languages-2"]{Realm of Racket}}}}}}
@div[class: "pn-separator-img-short"]
@div[class: "container"]{
@div[class: "row"]{
@div[class: "col-md-12"]{
@div[class: "col-md-4"]{
@p{@img[width: "350px" src: "img/littles.gif" alt: "The Littles Series" style: "float: right;"]
@br{}
@span[class: "how-to-design-programs-2"]{The Littles Series}}}
@div[class: "col-md-8"]{
@p{The Littles Series open new doors of thought to everyone who wants to find out what computing is really about.}
@p{The original, @i{Little LISPer}, unfolds some of the most beautiful concepts in mathematics, computer science, and logic. The follow-on books further the notion that 'thinking about computing is one of the most exciting things the human mind can do.' This sets both @i{The Little Schemer} and its companion volume, @i{The Seasoned Schemer}, apart from other books on LISP.}
@p{@i{The Little MLer} introduces one of the most important members of the family of programming languages. ML has emerged as a natural language for software engineering courses because it provides a sophisticated and expressive module system and is the language of choice for some NU CCIS courses.}
@p{Design patterns, which moved object-oriented programming to a new level, provide programmers with a language to communicate with others about their designs. As a result, programs become more readable, more reusable, and more easily extensible. @i{A Little Java, A Few Patterns}, use a small subset of Java to introduce pattern-directed program design.}
}}}}
@footer{}
}}}}