The following pages link to Georg Neis (Q2931795):
Displayed 8 items.
- The power of parameterization in coinductive proof (Q2931796) (← links)
- Non-parametric parametricity (Q2936811) (← links)
- The marriage of bisimulations and Kripke logical relations (Q2942857) (← links)
- Pilsner: a compositionally verified compiler for a higher-order imperative language (Q2981953) (← links)
- The impact of higher-order state and control effects on local relational reasoning (Q3165524) (← links)
- Non-parametric parametricity (Q4918243) (← links)
- The impact of higher-order state and control effects on local relational reasoning (Q5176935) (← links)
- A relational modal logic for higher-order stateful ADTs (Q5255072) (← links)