The following pages link to Andreas Rossberg (Q2936810):
Displaying 10 items.
- Non-parametric parametricity (Q2936811) (← links)
- 1ML – core and modules united (F-ing first-class modules) (Q2981941) (← links)
- 1ML with Special Effects (Q3188295) (← links)
- 1ML – Core and modules united (Q4625163) (← links)
- Non-parametric parametricity (Q4918243) (← links)
- F-ing modules (Q4983210) (← links)
- Mixin' up the ML module system (Q5178771) (← links)
- A relational modal logic for higher-order stateful ADTs (Q5255072) (← links)
- State-dependent representation independence (Q5261531) (← links)
- Dynamic Translucency with Abstraction Kinds and Higher-Order Coercions (Q5415645) (← links)
