Pages that link to "Item:Q913479"
From MaRDI portal
The following pages link to Comparing integrated and external logics of functional programs (Q913479):
Displaying 5 items.
- Formal neighbourhoods, combinatory Böhm trees, and untyped normalization by evaluation (Q651316) (← links)
- Normalising the associative law: An experiment with Martin-Löf's type theory (Q809071) (← links)
- A functional programming approach to the specification and verification of concurrent systems (Q909439) (← links)
- Synthesis of ML programs in the system Coq (Q1322847) (← links)
- Inductive families (Q1336951) (← links)
