Pages that link to "Item:Q5234263"
From MaRDI portal
The following pages link to Compiling standard ML to Java bytecodes (Q5234263):
Displaying 9 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)
- An action compiler targeting standard ML (Q2382609) (← links)
- Interlanguage working without tears: blending SML with Java (Q2817716) (← links)
- Java-ML: a machine learning library (Q2880914) (← 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)