work on getting better at Haskell, and on making it more sucessful so there are more jobs using Haskell. See Edward Kmett's talks on failing at understanding Haskell 5 or 6 times (years). See Neil Mitchell's talk of…
Goguen, so prolific! the ADJ group, OBJ, Maude, CafeOBJ, Clear, The Semiotic Zoo, Sheaves, Institutions. I understand maybe 5% of this stuff. Why has Goguen's work not sparked more research? Especially with the emphases…
work on getting better at Haskell, and on making it more sucessful so there are more jobs using Haskell. See Edward Kmett's talks on failing at understanding Haskell 5 or 6 times (years). See Neil Mitchell's talk of…
Goguen, so prolific! the ADJ group, OBJ, Maude, CafeOBJ, Clear, The Semiotic Zoo, Sheaves, Institutions. I understand maybe 5% of this stuff. Why has Goguen's work not sparked more research? Especially with the emphases…