Formalization of the functional programming languages based on lambda calculus

zbMATH Open1289.68009MaRDI QIDQ2850280FDOQ2850280

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)

• Title not available (Why is that?)
• Functional back-ends within the lambda-sigma calculus

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)