Intermediate representation of programs with type specification based on pattern matching
From MaRDI portal
Publication:2217191
DOI10.1134/S0361768820010077zbMath1455.68040OpenAlexW3007190173MaRDI QIDQ2217191
M. A. Krivchikov, V. A. Vasenin
Publication date: 18 December 2020
Published in: Programming and Computer Software (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1134/s0361768820010077
Uses Software
Cites Work