7 search results - page 2 / 2 » Linearly Used Effects: Monadic and CPS Transformations into ... |
ICFP
2008
ACM
14 years 4 months ago
2008
ACM
In efforts to overcome the complexity of the syntax and the lack of formal semantics of conventional hardware description languages, a number of functional hardware description la...
CC
2003
Springer
13 years 9 months ago
2003
Springer
vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...