SODA: A Language for Executable Semantics

Kirkman-Moller, William

DOI: 10.5281/zenodo.23813262

На странице источника доступны аннотация, полный текст или сведения о том, где его прочитать.