Intrinsically-typed definitional interpreters à la carte

Cas van der Rest, Casper Bach Poulsen, Arjen Rouvoet, Eelco Visser, Peter D. Mosses. Intrinsically-typed definitional interpreters à la carte. Proceedings of the ACM on Programming Languages, 6(OOPSLA2):1903-1932, 2022. [doi]

Authors

Cas van der Rest

This author has not been identified. It may be one of the following persons: Look up 'Cas van der Rest' in Google

Casper Bach Poulsen

Identified as Casper Bach Poulsen

Arjen Rouvoet

This author has not been identified. It may be one of the following persons: Look up 'Arjen Rouvoet' in Google

Eelco Visser

This author has not been identified. It may be one of the following persons: Look up 'Eelco Visser' in Google

Peter D. Mosses

This author has not been identified. It may be one of the following persons: Look up 'Peter D. Mosses' in Google