Formalization of the functional programming languages based on lambda calculus

MaRDI QIDQ2850280zbMATH OpenFDO

Authors O. V. Galkin

Publication date 26 September 2013

Published in Visnyk. Seriya: Fizyko-Matematychni Nauky. Kyïvs'kyĭ Universytet Imeni Tarasa Shevchenka (Search for Journal in Brave)

zbMATH Keywords

functional programminglambda calculusprogramming language F\#programming language FP

Mathematics Subject Classification ID

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

Cited in

(2)

• scientific article; zbMATH DE number 800564 (Why is no real title available?)
• Functional back-ends within the lambda-sigma calculus

Describes a project that uses

Uses Software

• F#

This page was built for publication: Formalization of the functional programming languages based on lambda calculus

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