home.social

#logiclangs — Public Fediverse posts

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

  1. Lobsters @[email protected] ·

    Introducing Incremental lobste.rs/s/c1j43n #logiclangs #ml
    blog.janestreet.com/introducin

    #logiclangs #ml
  2. Lobsters @[email protected] ·

    Abstract Machines for Logic Programs lobste.rs/s/7yy79j #concatenative #logiclangs
    chrisistyping.bearblog.dev/abs

    #concatenative #logiclangs
  3. Lobsters @[email protected] ·

    Compiling Prolog to Forth lobste.rs/s/7yorzl #pdf #compilers #concatenative #logiclangs
    vfxforth.com/flag/jfar/vol4/no

    #pdf #compilers #concatenative #logiclangs