Snippets tagged denotational semantics
-
Solution to the problem mentioned at : http://professor-fish.blogspot.com/2011/01/tiny-bit-of-denotational-semantics.html
Solution to the problem mentioned at : http://professor-fish.blogspot.com/2011/01/tiny-bit-of-denotational-semantics.html
1 people like this
Like the snippet!Posted: 13 years ago by Ankur Dhama
-
A parametric fixpoint combinator
Writing functions that recursively generate lambdas from a given parameter is a useful practice, but things get trickier when you need the output functions themselves to be mutually recursive. This is my attempt at creating a fix-point combinator that transparently handles this requirement. It also gives memoization for free as a side-effect.
7 people like this
Like the snippet!Posted: 11 years ago by Eirik Tsarpalis