Star types: a type system for pattern calculus

MaRDI QIDQ5015103zbMATH OpenFDO

Authors B. Dundua, Mikheil Rukhaia, Lali Tibua

Publication date 8 December 2021

Full work available at URL http://www.viam.science.tsu.ge/Ami/2020_2/9_beso.pdf

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

Recommendations

• A typed pattern calculus
• scientific article; zbMATH DE number 2090072
• Lambda calculus with patterns
• Functional and Logic Programming
• scientific article; zbMATH DE number 2186938

Cited in

(2)

• A typed pattern calculus
• Pattern Calculus

This page was built for publication: Star types: a type system for pattern calculus

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