Search
 
   

4 results for "domain:adam.chlipala.net"

  1. 5
    Formal Reasoning About Programs (draft book by Chlipala) compsci formalmethods programming adam.chlipala.net
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | 1 comment
  2. 2
    Chapar: Certified Causally Consistent Distributed Key-Value Stores ☶ pdf databases distributed adam.chlipala.net
    jitterted avatar via jitterted 2 years ago | cached | no comments
  3. 16
    Comparing OCaml and Standard ML ml programming adam.chlipala.net
    r31r06 avatar via r31r06 3 years ago | cached | 11 comments
  4. 19
    Certified Programming with Dependent Types, by Adam Chlipala ☶ book math programming adam.chlipala.net
    kragen avatar via kragen 4 years ago | cached | 13 comments