After a day filled with registration and short courses, Willard W. Harrison kicked off a series of three lectures with his tutorial lecture on Sunday night at the 57th ASMS Conference held in ...

In the previous lecture we discussed the definition of a formal language by a grammar. We also saw how to represent a grammar as a particular form of an inductive definition. In this lecture we ...

In this lecture, we will learn about accordions in Bootstrap. Accordions are a popular user interface pattern that allows you to show and hide content in a collapsible manner. Bootstrap provides a set ...

We saw that we can represent the syntax of a program as an abstract syntax tree (AST), an algebraic data type that reflects the shape of the program. Syntax is, for our purposes, the "easy" part of ...