For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | history | fromregister
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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search:

HN For You