The following pages link to Operations on records (Q5887510):
Displaying 6 items.
- \texttt{EVL}: a typed higher-order functional language for events (Q2229144) (← links)
- Session types for safe web service orchestration (Q2436511) (← links)
- Disjoint Polymorphism (Q2988630) (← links)
- Operations on records (Q3349962) (← links)
- An operational semantics for TOOPLE: A statically-typed object-oriented programming language (Q5890071) (← links)
- The equivalence of two semantic definitions for inheritance in object-oriented languages (Q6116566) (← links)