Newest stories submitted by lojikil.

  1. 7
    Why F# is the best language for web scraping ☶ dotnet ml biarity.me
    lojikil avatar via lojikil 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 8
    Implementing type-classes as OCaml modules ml blog.shaynefletcher.org
    lojikil avatar via lojikil 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 5
    A Verified Compiler for VLisp PreScheme ☶ pdf compilers lisp repository.readscheme.org
    lojikil avatar via lojikil 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  4. 23
    Compiling a Functional Language ☶ pdf compilers ml lucacardelli.name
    lojikil avatar via lojikil 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  5. 2
    SPARK 2014 : Manual Proof with Ghost Code in SPARK 2014 ☶ programming spark-2014.org
    lojikil avatar via lojikil 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
<< Page 1