A framework for typed HOAS and semantics

By Marino Miculan, Ivan Scagnetto. 2003

40 citations recorded by the source corpus.

Subfields: Artificial Intelligence

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Ralph Matthes
2. Marcelo P. Fiore
3. Tarmo Uustalu
4. Benedikt Ahrens

Citations in the corpus

• Heterogeneous substitution systems revisited (2016, neutral): “The notion of signature introduced in Definition 10 encompasses “polynomial” signatures like the ones described in [15] and [26].”
• Substitution in Non-wellfounded Syntax with Variable Binding (2003, background): “Fiore [16] and Miculan and Scagnetto [ 27 ] have developed this approach further to cover multi-sorted and typed languages with variable binding.”
• Second-Order and Dependently-Sorted Abstract Syntax (2008, background): “However, it directly generalises to the multi-sorted case (for which see [4, 5, 19, 22]).”