A pure meta-interpreter for Flat GHC, a concurrent constraint language

Mathematics

• Concurrent 100%
• Language 65%
• Virtual Machine 42%
• Partial Evaluation 35%
• Concurrent Programming 34%
• Trial and error 31%
• Constraint Programming 30%
• Operational Semantics 28%
• Design 28%
• Logic Programming 27%
• Syntax 21%
• Programming 21%
• Fold 20%
• History 20%
• Evaluation 16%
• Interpretation 15%
• Strategy 15%
• Imply 14%

Engineering & Materials Science

• Computer systems programming 56%
• Logic programming 53%
• Virtual machine 45%
• Computer programming languages 41%
• Semantics 30%