31 search results - page 7 / 7 » Relational Parametricity for a Polymorphic Linear Lambda Cal... |
139
click to vote
PPDP
2009
Springer
15 years 11 months ago
2009
Springer
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...