@dblp

Developing a monadic type checker for an object-oriented language: an experience report.

, and . SLE, page 184-196. ACM, (2019)

Links and resources

Tags