Hazelnut

swMATH22659MaRDI QIDQ34450FDOQ34450

Author name not available (Why is that?)

Described by source

• Hazelnut: a bidirectionally typed structure editor calculus

Cited In (1)

• Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages

This page was built for software: Hazelnut