Pages that link to "Item:Q3452269"
From MaRDI portal
The following pages link to Principal typings for Java-like languages (Q3452269):
Displaying 5 items.
- Reconciling method overloading and dynamically typed scripting languages (Q2275534) (← links)
- Practical Optional Types for Clojure (Q2802470) (← links)
- Representing Java classes in a typed intermediate language (Q2817720) (← links)
- Type Inference by Coinductive Logic Programming (Q3638242) (← links)
- Immutable Objects for a Java-Like Language (Q5756505) (← links)