| | Comparing OCaml and Standard ML (2008) (chlipala.net) |
| 60 points by nequo on June 17, 2024 | past | 26 comments |
|
| | Comparing Objective Caml and Standard ML (chlipala.net) |
| 93 points by weatherlight on Feb 15, 2023 | past | 47 comments |
|
| | Certified Programming with Dependent Types (2019) [pdf] (chlipala.net) |
| 1 point by Tomte on Sept 12, 2022 | past |
|
| | Certified Programming with Dependent Types (2019) [pdf] (chlipala.net) |
| 3 points by Tomte on Feb 20, 2022 | past |
|
| | Formal Reasoning About Programs (chlipala.net) |
| 3 points by nextos on Sept 14, 2021 | past |
|
| | Certified Programming with Dependent Types (2019) [pdf] (chlipala.net) |
| 1 point by Tomte on June 14, 2021 | past |
|
| | Certified Programming with Dependent Types (2019) [pdf] (chlipala.net) |
| 3 points by Tomte on March 16, 2020 | past |
|
| | Formal Reasoning About Programs (2017) [pdf] (chlipala.net) |
| 83 points by opus132 on Dec 31, 2019 | past | 23 comments |
|
| | Formal Reasoning About Programs [pdf] (chlipala.net) |
| 3 points by BerislavLopac on Dec 20, 2019 | past |
|
| | Formal Reasoning About Programs (2017) [pdf] (chlipala.net) |
| 3 points by opus132 on Dec 15, 2019 | past |
|
| | Formal Reasoning About Programs (chlipala.net) |
| 7 points by nextos on Aug 7, 2019 | past |
|
| | Comparing Objective Caml and Standard ML (chlipala.net) |
| 1 point by philonoist on April 8, 2019 | past |
|
| | A Program Optimization for Automatic Database Result Caching (2017) [pdf] (chlipala.net) |
| 24 points by mpweiher on Jan 21, 2019 | past | 3 comments |
|
| | FSCQ: A formally verified crash-proof filesystem [pdf] (chlipala.net) |
| 39 points by anishathalye on Nov 20, 2015 | past | 18 comments |
|
| | Coq: Certified Programming with Dependent Types (chlipala.net) |
| 107 points by lobo_tuerto on July 10, 2015 | past | 33 comments |
|
| | Ur/Web: A simple model for programming the Web [pdf] (chlipala.net) |
| 3 points by erkose on Dec 23, 2014 | past |
|
| | Comparing OCaml and Standard ML (chlipala.net) |
| 103 points by carloscm on Oct 23, 2014 | past | 68 comments |
|
| | Certified Programming with Dependent Types (chlipala.net) |
| 2 points by lelf on Dec 14, 2013 | past |
|
| | Comparing Standard ML and OCaml (chlipala.net) |
| 86 points by rohshall on Aug 16, 2012 | past | 20 comments |
|
| | Certified Programming with Dependent Types (chlipala.net) |
| 1 point by namin on Jan 23, 2012 | past |
|
| | Static Checking of Dynamically-Varying Security Policies in Database Apps (chlipala.net) |
| 1 point by evangineer on May 30, 2011 | past |
|
| | Ur: Statically-Typed Metaprogramming with Type-Level Record Computation (chlipala.net) |
| 2 points by evangineer on May 30, 2011 | past |
|
| | An Awesome Introduction to Program Verification with Coq (chlipala.net) |
| 24 points by dons on Jan 10, 2010 | past | 2 comments |
|
