Pages that link to "Item:Q913479"
From MaRDI portal
The following pages link to Comparing integrated and external logics of functional programs (Q913479):
Displayed 4 items.
- 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)