1. 12
    Retrofitting Linear Types ☶ pdf haskell microsoft.com
    lojikil avatar via lojikil 11 months ago | cached | 4 comments
  2. 8
    Hoare Type Theory, Polymorphism and Separation ☶ pdf compilers formalmethods ynot.cs.harvard.edu
    lojikil avatar via lojikil 12 months ago | cached | no comments
  3. 5
    Learning to Blame: Localizing Novice Type Errors with Data-Driven Diagnosis ☶ pdf ai ml arxiv.org
    lojikil avatar via lojikil 12 months ago | cached | no comments
  4. 4
    A Scope Safe Universe of Syntaxes with Binding, Their Semantics and Proofs ☶ pdf compilers compsci gallais.github.io
    lojikil avatar via lojikil 1 year ago | cached | no comments
  5. 12
    Algebraic Subtyping ☶ pdf ml cl.cam.ac.uk
    lojikil avatar via lojikil 1 year ago | cached | 2 comments
  6. 3
    Grizzly Steppe IP and Hash Analysis ☶ security jerrygamblin.com
    lojikil avatar via lojikil 1 year ago | cached | no comments
  7. 4
    kni/mlton-string-concat: String concatenation for MLtone with help FFI call memmove ☶ ml github.com
    lojikil avatar via lojikil 1 year ago | cached | 1 comment
  8. 7
    Why F# is the best language for web scraping ☶ dotnet ml biarity.me
    lojikil avatar via lojikil 1 year ago | cached | no comments
  9. 8
    Implementing type-classes as OCaml modules ml blog.shaynefletcher.org
    lojikil avatar via lojikil 1 year ago | cached | no comments
  10. 5
    A Verified Compiler for VLisp PreScheme ☶ pdf compilers lisp repository.readscheme.org
    lojikil avatar via lojikil 2 years ago | cached | no comments
  11. 23
    Compiling a Functional Language ☶ pdf compilers ml lucacardelli.name
    lojikil avatar via lojikil 2 years ago | cached | no comments
  12. 1
    SPARK 2014 : Manual Proof with Ghost Code in SPARK 2014 ☶ programming spark-2014.org
    lojikil avatar via lojikil 4 years ago | cached | no comments