Pages that link to "Item:Q3599174"
From MaRDI portal
The following pages link to Central European Functional Programming School (Q3599174):
Displayed 15 items.
- An Introduction to iTasks: Defining Interactive Work Flows for the Web (Q3599175) (← links)
- Proving Properties of Lazy Functional Programs with Sparkle (Q3599177) (← links)
- An Introduction to the Lambda Calculus (Q3599178) (← links)
- Abstract λ-Calculus Machines (Q3599179) (← links)
- Programming in Ωmega (Q3599181) (← links)
- A Tutorial on Object-Oriented Functional Programming (Q3599182) (← links)
- Use Cases for Refactoring in Erlang (Q3599185) (← links)
- From Interpretation to Compilation (Q3599186) (← links)
- Fully Automatic Testing with Functions as Specifications (Q5302887) (← links)
- Functional Array Programming in SaC (Q5302888) (← links)
- Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach (Q5302889) (← links)
- The Essence of Dataflow Programming (Q5302890) (← links)
- Temporal Properties of Clean Programs Proven in Sparkle-T (Q5302891) (← links)
- Tutorial on Subtype Marks (Q5302892) (← links)
- Designing Distributed Computational Skeletons in D-Clean and D-Box (Q5302893) (← links)