home.social

#symboliccomputation — Public Fediverse posts

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

fetched live
  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

  2. 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

  3. My #introduction: currently powering through undergrad PDEs and stochastic processes. These are the last weeks of the last semester of my math degree; am considering grad studies since it is now getting interesting, and don’t want to stop. Interests: #symboliccomputation #Maplesoft #differentialequations #math-communication, and more.

  4. My #introduction: currently powering through undergrad PDEs and stochastic processes. These are the last weeks of the last semester of my math degree; am considering grad studies since it is now getting interesting, and don’t want to stop. Interests: #symboliccomputation #Maplesoft #differentialequations #math-communication, and more.