Entity usage
From MaRDI portal
This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.
Showing below up to 15 results in range #1 to #15.
- Designing Distributed Computational Skeletons in D-Clean and D-Box: Label: en
- Tutorial on Subtype Marks: Label: en
- Temporal Properties of Clean Programs Proven in Sparkle-T: Label: en
- The Essence of Dataflow Programming: Label: en
- Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach: Label: en
- Functional Array Programming in SaC: Label: en
- Fully Automatic Testing with Functions as Specifications: Label: en
- From Interpretation to Compilation: Label: en
- Use Cases for Refactoring in Erlang: Label: en
- A Tutorial on Object-Oriented Functional Programming: Label: en
- Programming in Ωmega: Label: en
- Abstract λ-Calculus Machines: Label: en
- An Introduction to the Lambda Calculus: Label: en
- Proving Properties of Lazy Functional Programs with Sparkle: Label: en
- An Introduction to iTasks: Defining Interactive Work Flows for the Web: Label: en