Contribution: SquareMatrices
From Fast Exponentiation to Square Matrices
Authors
- Jean-Christophe Filliâtre
Description
This development is a formalization of Chris Okasaki's article ``From Fast Exponentiation to Square Matrices: An Adventure in Types''
Keywords
exponentiation, vectors, matrices, polymorphic recursion, nested datatypes