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

cached

1 comment
1
Preview
4
breandan
1 year 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