| | Comparing OCaml and Standard ML (2008) (chlipala.net) |
|
60 points by nequo 7 months ago | 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
|