Structural types for systems of equations: type refinements for structurally dynamic first-class modular systems of equations

DOI10.1007/S10990-013-9099-6zbMath1360.68317OpenAlexW154314746MaRDI QIDQ526451

John Capper, Henrik Nilsson

Publication date: 15 May 2017

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10990-013-9099-6

zbMATH Keywords

linear constraintsstructural analysissystems of equationsfirst-class componentsnon-causal structurally dynamic modellingrefinement types

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Uses Software

• MOSILAB

Cites Work

• A theory of type polymorphism in programming
• Functional reactive animation
• Pell's equation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Structural types for systems of equations: type refinements for structurally dynamic first-class modular systems of equations