Research output per year
Research output per year
Search results
-
2020
λdB: Blame tracking at higher fidelity
Zalewski, J., McKinna, J., Morris, J. G. & Wadler, P., 2020.Research output: Contribution to conference › Paper › peer-review
Open Access -
2014
A Coalgebraic Approach to Bidirectional Transformations
Abou-Saleh, F. & McKinna, J., 2014.Research output: Contribution to conference › Paper › peer-review
-
2010
Pure Type Systems without Explicit Contexts
Geuvers, H., Krebbers, R., McKinna, J. & Wiedijk, F., 11 Sept 2010, p. 53-67. 15 p.Research output: Contribution to conference › Paper › peer-review
8 Citations (Scopus) -
2007
Constructing Correct Circuits: Verification of Functional Aspects of Hardware Specifications with Dependent Types
Brady, E., McKinna, J. & Hammond, K., 2007, p. 159-176. 18 p.Research output: Contribution to conference › Paper › peer-review