Conceptual modelling: Towards detecting modelling errors in engineering applications
Article in Mathematical Methods in the Applied Sciences (December 2019)
Trends in Functional Programming
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Evaluating Call-by-Need on the Control Stack
-
Altmetric BadgeChapter 2 Typing Coroutines
-
Altmetric BadgeChapter 3 An Expression Processor: A Case Study in Refactoring Haskell Programs
-
Altmetric BadgeChapter 4 Static Balance Checking for First-Class Modular Systems of Equations
-
Altmetric BadgeChapter 5 Graphical and Incremental Type Inference: A Graph Transformation Approach
-
Altmetric BadgeChapter 6 Hygienic Macros for ACL2
-
Altmetric BadgeChapter 7 What’s the Matter with Kansas Lava?
-
Altmetric BadgeChapter 8 Types and Type Families for Hardware Simulation and Synthesis
-
Altmetric BadgeChapter 9 Testing with Functional Reference Implementations
-
Altmetric BadgeChapter 10 Every Animation Should Have a Beginning, a Middle, and an End
-
Altmetric BadgeChapter 11 Functional Video Games in the CS1 Classroom
-
Altmetric BadgeChapter 12 ComputErl – Erlang-Based Framework for Many Task Computing
-
Altmetric BadgeChapter 13 Monad Factory: Type-Indexed Monads