Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
Sun 18 Sep 2016 17:20 - 17:40 at Conference Room 1 - Session Five

We define a block based matrix representation in Agda and lift various algebraic structures (semi-near-rings, semi-rings and closed semi-rings) to matrices in order to verify algorithms that can be implemented using the closure operation in a semi-ring.

Sun 18 Sep

tyde-2016-papers
17:00 - 18:00: TyDe - Session Five at Conference Room 1
tyde-2016-papers17:00 - 17:20
Talk
Oleg KiselyovTohoku University
tyde-2016-papers17:20 - 17:40
Talk
Patrik JanssonChalmers University of Technology, Adam Sandberg Eriksson
Pre-print