~lobsters | Bookmarks (75)
-
Validation of Modern JSON Schema: Formalization and Complexity
Skip to main content Download PDF Abstract:JSON Schema is the de-facto standard schema language for JSON...
-
The Theory of Concatenative Combinators
This article attempts to outline, in informal terms, a new theory of combinators, related to the...
-
Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law
Abstract: Legal expert systems routinely rely on date computations to determine the eligibility of a citizen...
-
A Modern Compiler for the French Tax Code
Abstract: In France, income tax is computed from taxpayers’ individual returns, using an algorithm that is...