The Pure Pattern Calculus, and Extensible Records With Scoped Labels

Two papers very similar to the ideas I’ve been developing for ThiNG have popped up in the last couple of weeks:

  1. Daan Leijen’s Extensible records with scoped labels: describes an intriguing system for typing records similar to those I’m trying to define with ThiNG.

  2. Barry Jay and Delia Kesner’s Pure Pattern Calculus: a fascinating language that embeds the lambda-calculus naturally that feels very similar to ThiNG.

Update: Since google finds the paper now, I’ve added the link to Jay & Kesner’s paper.