Directions in functional programming for real(-time) applications

DOI10.1007/3-540-45449-7_13MaRDI QIDQ4473723zbMATH OpenFDO

Authors Walid Taha, Paul Hudak, Zhanyong Wan

Publication date 4 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2211/22110185.htm

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 3997136
• Real-time FRP
• Real-time programming
• Real-time MLton: a standard ML runtime for real-time functional programs
• Principles of real-time programming

Cited in

(4)

• Trends in trends in functional programming 1999/2000 versus 2007/2008
• scientific article; zbMATH DE number 3997136 (Why is no real title available?)
• Real-time MLton: a standard ML runtime for real-time functional programs
• A Useful Bounded Resource Functional Language

Describes a project that uses

Uses Software

• Coq
• LEGO

This page was built for publication: Directions in functional programming for real(-time) applications

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