Intermediate representation of programs with type specification based on pattern matching

DOI10.1134/S0361768820010077MaRDI QIDQ2217191zbMATH OpenOpenAlexFDO

Authors V. A. Vasenin, M. A. Krivchikov

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

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 445158
• Typed self-interpretation by pattern matching
• scientific article; zbMATH DE number 1746456
• A theory for program and data type specification
• A typed pattern calculus
• scientific article; zbMATH DE number 1543322

Cites work

• scientific article; zbMATH DE number 3313873 (Why is no real title available?)
• Interpretable program specification language
• On one application of computations with oracle
• Supercompilation for Martin-Lof's type theory
• Type inference for record concatenation and multiple inheritance
• Verification as a parameterized testing (experiments with the SCP4 supercompiler)

Describes a project that uses

Uses Software

• Refal

This page was built for publication: Intermediate representation of programs with type specification based on pattern matching

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2217191)