Home
Recent
Comments
Search
Login
9
Proving Algebraic Datatypes are “Algebraic”
formalmethods
math
ml
soap.coffee
authored by
lthms
11 months ago

cached

1 comment
1
Preview
4
breandan
11 months ago

link
Some related thoughts on ADTs from Oleg Kiselyov:
http://okmij.org/ftp/taglessfinal/Algebra.html
Some related thoughts on ADTs from Oleg Kiselyov: http://okmij.org/ftp/taglessfinal/Algebra.html