The following pages link to Andreas V. Hense (Q1261309):
Displayed 5 items.
- Denotational semantics of an object-oriented programming language with explicit wrappers (Q1261310) (← links)
- A Gaussian graphical model approach to climate networks (Q2821530) (← links)
- Wrapper semantics of an object-oriented programming language with state (Q5096238) (← links)
- A record calculus with principal types (Q5096310) (← links)
- (Q5191402) (← links)