Anders Ågren Thuné

Short presentation

I am a PhD student at the division of Computing Science in the programming languages group. My main interests are in programming language semantics, formal proofs, type systems and type inference, and functional programming. I am particularly interested in denotational semantics and domain specific languages with by-construction semantic correctness guarantees.

Keywords

• denotational semantics
• type systems
• type inference
• formal proofs
• programming languages