Pages that link to "Item:Q4236884"
From MaRDI portal
The following pages link to From ML to Ada: Strongly-typed language interoperability via source translation (Q4236884):
Displayed 4 items.
- Polymorphic typed defunctionalization and concretization (Q853737) (← links)
- Refunctionalization at work (Q923881) (← links)
- Flattening tuples in an SSA intermediate representation (Q1029812) (← links)
- Real-time MLton: A Standard ML runtime for real-time functional programs (Q5019014) (← links)