Annual ESOP rejection came through! (albeit with much more respectable scores). That brings the total to 3. Don't write ESOP submissions with me, folks ;)
-
-
Replying to @Simon_JF
I'll never get over a reviewer asking whether Agda will still be known in 20 or 40 years and whether a paper written in it deserves to be published.
2 replies 0 retweets 10 likes -
Replying to @anormalform @Simon_JF
Alf is close to 30 years old (and not in use anymore) and Catarina Coquand's paper on NbE for STLC with explicit substitution is still THE paper of reference as far as I'm concerned. It was written in Alf.
1 reply 1 retweet 5 likes -
Replying to @anormalform @Simon_JF
Simon PJ's book on implementing functional languages is still an excellent introduction to the field, and it uses Miranda...
1 reply 0 retweets 2 likes -
I wonder which are more closely related languages: Miranda and Haskell 1.x or Haskell98 and GHC Haskell as used “in the wild”?
1 reply 0 retweets 2 likes
Interesting question! I'm going to guess the former pair...
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.