Nottingham FP Lab Blog

HCAR + Normalisation + Rewriting

by James Chapman on April 28, 2006.
Tagged as: Lunches.

Firstly here is the HCAR plan:
Andreas Abel talked about writing a functional normalizer for $\lambda^\rightarrow$ that is structurally recursive (on types) and is therefore terminating. He has submitted a paper on this topic to MSFP 2006
Christoph Luth is visiting Neil this week. Neil talked about a very general principle about rewriting they are working on. See this for their most recent published paper on their approach to rewriting.