ML

Manual

• Standard ML of New Jersey
• Compilation Manager

Prototypical Implementation of "An Algebraic Dexter-Based Hypertext Reference Model"

Silly programs

• car, cdr, cons, rplaca, rplacd, eq, equal
  • signature
  • structure
• 5 kinds of lazy list (i.e. streams, sequences) implementations with beautious functor over a few kernel operations
  • signature
  • structure
• Destructive queues, or more precisely destructive output-restricted deques (cf. Knuth (1997) "TAoCP" 2.2.1. for deque definition)
  • signature
  • Knuth (1997) "TAoCP" 2.2.3.
  • Burton (1982)