home.social

#symboliccomputation — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #symboliccomputation, aggregated by home.social.

  1. Old paper:
    John Launchbury and Simon L Peyton Jones. 1995. *State in Haskell*
    sci-hub.st/10.1007/BF01018827

    What interests me more is that the journal used to called *LISP and Symbolic Computation*, the intersection of the two topics that I am most interested.

    Later the the “LISP” in the journal name was changed to “Higher-Order” in 1998, after which the famous #R5RS
    was published on it.

    #Haskell #LISP #Scheme #SymbolicComputation