scientific article; zbMATH DE number 6168149

MaRDI QIDQ4922308zbMATH OpenFDO

Authors Mirjana Ivanović, Viktor Kuncak

Publication date 29 May 2013

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Describes a project that uses

Uses Software

• Haskell

This page was built for publication:

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