Hans Hüttel

activity

20162022

most citedBroadcast and aggregation in BBC

2 citations · 5 across the 6 of their papers we have counts for

collaborators

Showing 2022Show all

2 papers · 1 filter

cs.PL2022

A Tool for Describing and Checking Natural Semantics Definitions of Programming Languages

Georgian-Vlad Saioc, Hans Hüttel

Many universities have courses and projects revolving around compiler or interpreter implementation as part of their degree programmes in computer science. In such teaching activit…

cs.LO2022

A Generic Type System for Higher-Order $Ψ$ -calculi

Alex Rønning Bendixen, Bjarke Bredow Bojesen, Hans Hüttel +1

The Higher-Order $Ψ$ -calculus framework (HO $Ψ$ ) is a generalisation of many first- and higher-order extensions of the $π$ -calculus. It was proposed by Parrow et al. who showed that…

A Tool for Describing and Checking Natural Semantics Definitions of Programming Languages

A Generic Type System for Higher-Order Ψ-calculi

A Generic Type System for Higher-Order $Ψ$ -calculi