search

nomeata / haskell-rec-def

APIs for more recursive definitions
https://haskell-rec-def.nomeata.de/
BSD 2-Clause "Simplified" License
19 stars 2 forks source link

More related work #1

Closed nomeata closed 1 year ago

nomeata commented 2 years ago

I should look at https://mobile.twitter.com/arntzenius/status/1566173870666792961 and add it to the readme.

nomeata commented 2 years ago

Also the FUNCTIONAL PEARL Lazy Least Fixed Points in ML.

nomeata commented 2 years ago

And more on the history of unsafePerformIO in https://www.microsoft.com/en-us/research/wp-content/uploads/1999/09/stretching.pdf

nomeata commented 2 years ago

Also Observable Sharing for Functional Circuit Description