Functional hybrid modeling

DOI10.1007/3-540-36388-2_25MaRDI QIDQ4415120zbMATH OpenFDO

Authors Henrik Nilsson, John C. Peterson, Paul Hudak

Publication date 28 July 2003

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/2562/25620376.htm

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Computing methodologies and applications (68U99)

Recommendations

• High-level modelling for typed functional programming
• scientific article; zbMATH DE number 895676
• scientific article; zbMATH DE number 2090521
• Simulation of systems with dynamically varying model structure
• Guest editorial

Cited in

(4)

• Modeling and simulation of large-scale systems: a systematic comparison of modeling paradigms
• scientific article; zbMATH DE number 1280681 (Why is no real title available?)
• Structural types for systems of equations: type refinements for structurally dynamic first-class modular systems of equations
• Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change

This page was built for publication: Functional hybrid modeling

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