The following pages link to Operations on records (Q5887510):
Displaying 4 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)
- An operational semantics for TOOPLE: A statically-typed object-oriented programming language (Q5890071) (← links)
