Scope of SFP

The scope of the SFP Workshops will cover all aspects of functional programming, including:

• language design
• proof and transformation
• semantics and models
• implementation
• applications
• type systems
• parallelism and distribution
• performance modelling & profiling
• education
• real time and reactive programming
• programming methodologies

Emphasised topics in previous workshops include:

• Parallel Systems and Programming
• Types
• Architectures and Implementation
• Applications
• Theory