FunTAL: Reasonably mixing a functional language with assembly

Keyphrases

• Functional Languages 100%
• Bridging the Gap 50%
• Language Programs 50%
• Multi-language 50%
• Multi-language Systems 50%
• Stack-based 50%
• Logical Relations 50%
• Support Elements 50%
• Assembly Code 50%
• Assembly Component 50%
• High-Level Context 50%
• Language Components 50%
• Mixed Language 50%
• Compositional Reasoning 50%
• Typed Assembly Language 50%

Computer Science

• Functional Languages 100%
• Interoperability 50%
• Logical Relation 50%
• Assembly Code 50%
• Assembly Language 50%
• Language Program 50%

Engineering

• Bridging 100%
• Level Component 100%