James McKinna

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A type- and scope-safe universe of syntaxes with binding: their semantics and proofs Journal of Functional Programming	2021-12-27	Paper
Introduction to bidirectional transformations	2019-02-15	Paper
Reflections on monadic lenses A List of Successes That Can Change the World	2016-08-17	Paper
Certified complexity (CerCo) Foundational and Practical Aspects of Resource Analysis	2016-01-07	Paper
Notions of bidirectional computation and entangled state monads Lecture Notes in Computer Science	2015-08-27	Paper
The $\lambda \mu^{\mathbf{T}}$-calculus Annals of Pure and Applied Logic	2013-04-15	Paper
A focused sequent calculus framework for proof search in pure type systems Logical Methods in Computer Science	2011-05-26	Paper
Proviola: a tool for proof re-animation Lecture Notes in Computer Science	2010-08-24	Paper
A Logically Saturated Extension of ${{\bar\lambda\mu\tilde{\mu}}}$ Lecture Notes in Computer Science	2009-07-09	Paper
A Machine-Checked Proof of the Average-Case Complexity of Quicksort in Coq Lecture Notes in Computer Science	2009-07-02	Paper
A Sequent Calculus for Type Theory Computer Science Logic	2009-03-12	Paper
Mechanising a Proof of Craig’s Interpolation Theorem for Intuitionistic Logic in Nominal Isabelle Lecture Notes in Computer Science	2009-01-27	Paper
Eliminating Dependent Pattern Matching Algebra, Meaning, and Computation	2007-09-07	Paper
Types for Proofs and Programs Lecture Notes in Computer Science	2006-11-13	Paper
Types for Proofs and Programs Lecture Notes in Computer Science	2005-12-23	Paper
The view from the left Journal of Functional Programming	2004-09-27	Paper
Some lambda calculus and type theory formalized Journal of Automated Reasoning	2000-01-30	Paper
scientific article; zbMATH DE number 512787 (Why is no real title available?)	1993-01-01	Paper

Research outcomes over time

This page was built for person: James McKinna