The following pages link to Stef Joosten (Q1785855):
Displaying 5 items.
- Relation algebra as programming language using the Ampersand compiler (Q1785856) (← links)
- Ampersand (Q3007584) (← links)
- Relational Heterogeneity Relaxed by Subtyping (Q3007588) (← links)
- Type Checking by Domain Analysis in Ampersand (Q3460627) (← links)
- Software Development in Relation Algebra with Ampersand (Q5283210) (← links)