• Publications
  • Influence
Delphin: Functional Programming with Deductive Systems
TLDR
We present the design and implementation of the strict and pure functional programming language Delphin. Expand
Seven Notable Legal Developments In Open Source In 2016
Several noteworthy open source-related legal developments took place in 2016. These concerned the fair use trial in Oracle v. Google, the reaction to the GPL enforcement lawsuits of Patrick McHardy,Expand