Layered Modal Type Theory - Where Meta-programming Meets Intensional Analysis.

Jason Z. S. Hu, Brigitte Pientka

Browse the full ESOP paper archive.