Search results
Jump to navigation
Jump to search
Page title matches
File:TFPIE2013 Structural Induction Principles.pdf ...on about it? In this paper we describe an algorithm to generate structural induction principles from type signatures. We also discuss how these methods are taug(146 KB) - 00:35, 13 May 2013