Pages that link to "Item:Q5234263"
From MaRDI portal
The following pages link to Compiling standard ML to Java bytecodes (Q5234263):
Displayed 6 items.
- Subtyping recursion and parametric polymorphism in kernel Fun (Q1780453) (← links)
- Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics (Q2134832) (← links)
- ANF preserves dependent types up to extensional equality (Q5051989) (← links)
- OCaml-Java: The Java Virtual Machine as the target of an OCaml compiler (Q5371968) (← links)
- No value restriction is needed for algebraic effects and handlers (Q5372003) (← links)
- A portable approach to dynamic optimization in run-time specialization (Q5957060) (← links)