Type Theory Study Group, Special Topics on ABTs, Implementation and Theory with Jon Sterling HD

Given the current study topics of ASTs, ABTs, and judgements of them, it was suggested that Jon Sterling would be able to provide extra material and insight into how to construct, work with, and solve problems using ABTs. Jon is the implementer of a variety of ABT libraries for Haskell, OCaml, and SML as well as the implementer of his own theorem proving system, JonPRL, in the NuPRL line of designs. His current research arises from issues encountered in implementation on JonPRL which involves new semantics for ABTs in dependently typed languages. Material: Ch 1 and 2 of PFPL, ABTs and their use as logical frameworks Interviewer: Joseph Abrahamson Interviewee: Jon Sterling [perhaps others to come] Note Takers: [volunteers welcome]