Seminar lectures - Jamie Gabbay
Nominal data package for Haskell: “names are data”
- Don’t concrete an abstraction at a non-fresh name
- An atom is an atomic id
- a name is a labelled atom
- a name associates a label with some additional semantic information for the id/atom (even just a display name) e.g. it’s type in stlc \(\lambda a:t. s\)
- abstraction notices the labels