check

book.tex

@@ -3,9 +3,11 @@
 %% Student project ideas:
 %%   * high-level optimizations like procedure inlining, etc.
 %%   * alternative back ends (ARM, LLVM)
+%%   * alternative calling convention (a la Dybvig)
 %%   * lazy evaluation
 %%   * gradual typing
-%%   * continuations, exceptions
+%%   * continuations (frames in heap a la SML or segmented stack a la Dybvig)
+%%   * exceptions
 %%   * self hosting
 %%   * I/O
 %%   * foreign function interface