The following pages link to Mads Tofte (Q607409):
Displaying 7 items.
- (Q198017) (redirect page) (← links)
- Robin Milner: 13 January 1934-20 March 2010 (Q607410) (← links)
- Region-based memory management (Q676777) (← links)
- Type inference for polymorphic references (Q918190) (← links)
- Co-induction in relational semantics (Q1177158) (← links)
- A retrospective on region-based memory management (Q1768483) (← links)
- (Q3059185) (← links)
