Joey Capper

I am a research Ph.D student at the School of Computer Science, at The University of Nottingham. I am part of the Functional Programming Laboratory, working under the supervision of Dr. Henrik Nilsson.

Research

• Structural Types for Systems of Equations
  John Capper and Henrik Nilsson.
  Under consideration.
  PDF | Code


• Complete Normalisation in Type Theory.
  John Capper.
  Presentation to be given at the Functional Programming Lab Away Day 2012.
  Talk | Code


• Towards a Formal Semantics for a Structurally Dynamic Non-causal Modelling Language.
  John Capper and Henrik Nilsson.
  To appear in the Seventh Workshop on Types in Language Design and Implementation (TLDI'12).
  PDF | Talk | Code


• Second Year Progress Report
  John Capper.
  PDF


• Type Refinements for Equation-Based Languages
  John Capper. First Year Report.
  PDF


• Static Balance Checking for Modular Systems of Equations
  John Capper and Henrik Nilsson.
  In proceedings of the Eleventh Symposium on Trends in Functional Programming (TFP '10).
  PDF | Talk | Code

Teaching