Newest stories submitted by doublec.

  1. 12
    Fun Factor Libraries programming bluishcoder.co.nz
    doublec avatar authored by doublec 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  2. 4
    Proving properties of constant-time crypto code in SPARKNaCl formalmethods programming blog.adacore.com
    doublec avatar via doublec 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 8
    Pointer Based Data-Structures in SPARK programming blog.adacore.com
    doublec avatar via doublec 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  4. 11
    Defining Types in Shen programming bluishcoder.co.nz
    doublec avatar authored by doublec 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  5. 3
    Type and mode checking in prolog (part 2): mavis programming medium.com
    doublec avatar via doublec 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  6. 19
    Getting Started with Mercury programming bluishcoder.co.nz
    doublec avatar authored by doublec 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  7. 2
    Type and mode checking in prolog (part 1): type_check programming medium.com
    doublec avatar via doublec 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  8. 3
    FOSDEM 2019 - Proof of Pointer Programs with Ownership in SPARK video formalmethods fosdem.org
    doublec avatar via doublec 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  9. 16
    A Gentle Introduction to F* formalmethods ml prosecco.gforge.inria.fr
    doublec avatar via doublec 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 8 comments
  10. 14
    Generalized Algebraic Data Types in ATS programming bluishcoder.co.nz
    doublec avatar authored by doublec 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  11. 12
    Concurrent and Distributed Programming in Web Prolog programming bluishcoder.co.nz
    doublec avatar authored by doublec 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  12. 2
    Built in mapping for more powerful, intuitive, code ☶ pdf plt github.com
    doublec avatar via doublec 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  13. 9
    An Oz Implementation using Truffle and Graal pdf programming info.ucl.ac.be
    doublec avatar via doublec 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 12 comments
  14. 7
    Capturing program invariants in ATS formalmethods programming bluishcoder.co.nz
    doublec avatar authored by doublec 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  15. 6
    Effective ATS: Streamization and Stream-Processing in Parallel programming ats-lang.sourceforge.net
    doublec avatar via doublec 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  16. 16
    Writing basic proofs in ATS formalmethods programming bluishcoder.co.nz
    doublec avatar authored by doublec 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  17. 5
    Casting in ATS programming bluishcoder.co.nz
    doublec avatar authored by doublec 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  18. 11
    Cross Compiling ATS Programs programming bluishcoder.co.nz
    doublec avatar authored by doublec 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  19. 18
    ZeroMe - Decentralized Microblogging on ZeroNet web bluishcoder.co.nz
    doublec avatar authored by doublec 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  20. 14
    Using the J Foreign Function Interface programming bluishcoder.co.nz
    doublec avatar authored by doublec 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  21. 9
    J interpreter in the browser (via emscripten) programming joebo.github.io
    doublec avatar via doublec 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  22. 4
    What positive benefits arise from use of tor hidden services privacy medium.com
    doublec avatar via doublec 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  23. 10
    Crash into ATS programming ats-lang.sourceforge.net
    doublec avatar via doublec 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 8 comments
  24. 14
    Updates on the ATS2 programming language 2017 slides programming slideshare.net
    doublec avatar via doublec 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  25. 3
    Reference Capabilities, Consume and Recover in Pony programming bluishcoder.co.nz
    doublec avatar authored by doublec 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
Page 2 >>