12 citations · 56 across the 23 of their papers we have counts for
3 papers · 1 filter
Modules over monads and operational semantics (expanded version)
André Hirschowitz, Tom Hirschowitz, Ambroise Lafont
This paper is a contribution to the search for efficient and high-level mathematical tools to specify and reason about (abstract) programming languages or calculi. Generalising the…
Encapsulation and Dynamic Modularity in the Pi-Calculus
Daniel Hirschkoff, Aurélien Pardon, Tom Hirschowitz +2
We describe a process calculus featuring high level constructs for component-oriented programming in a distributed setting. We propose an extension of the higher-order pi-calculus…
Compilation of extended recursion in call-by-value functional languages
Tom Hirschowitz, Xavier Leroy, J. B. Wells
This paper formalizes and proves correct a compilation scheme for mutually-recursive definitions in call-by-value functional languages. This scheme supports a wider range of recurs…