[<<][compsci][>>][..]
Wed Jan 23 13:52:49 CET 2013

Ad-hoc polymorphism is higher order abstract syntax

It seems that Haskell type classes, implemented at run time using
extra "implementation" parameter passing, is sufficient to implement
any kind of higher order syntax representation, to the point that they
are somewhat equivalent.



[Reply][About]
[<<][compsci][>>][..]