Discrete Summation. | 0 | 0.34 | 2014 |
Data refinement in Isabelle/HOL | 13 | 0.63 | 2013 |
A compiled implementation of normalisation by evaluation* | 10 | 0.78 | 2012 |
Code generation via higher-order rewrite systems | 54 | 2.00 | 2010 |
From higher-order logic to Haskell: there and back again | 5 | 0.48 | 2010 |
CTP-based programming languages?: considerations about an experimental design | 1 | 0.38 | 2010 |
Turning Inductive into Equational Specifications | 18 | 0.90 | 2009 |
Imperative Functional Programming with Isabelle/HOL | 41 | 1.91 | 2008 |
Local Theory Specifications in Isabelle/Isar | 16 | 1.22 | 2008 |
A framework for efficient regression tests on database applications | 31 | 1.22 | 2007 |
Constructive type classes in Isabelle | 30 | 1.70 | 2006 |
Parallel execution of test runs for database application systems | 10 | 0.75 | 2005 |
Efficient Regression Tests for Database Applications | 18 | 1.08 | 2005 |