Modelling Machine Learning Algorithms on Relational Data with Datalog | 0 | 0.34 | 2018 |
Extending Datalog with Analytics in LogicBlox. | 1 | 0.35 | 2015 |
Meta-programming With Built-in Type Equality | 21 | 1.12 | 2008 |
Implicitly heterogeneous multi-stage programming | 16 | 0.86 | 2007 |
Concoqtion: indexed types now | 22 | 1.01 | 2007 |
A monadic approach for avoiding code duplication when staging memoized functions | 21 | 0.87 | 2006 |
Two-level types and parameterized modules | 21 | 1.09 | 2004 |
Automated Translation of Legacy Code for ATE | 1 | 0.35 | 2001 |
New Constructions of Resilient and Correlation Immune Boolean Functions Achieving Upper Bound on Nonlinearity | 52 | 4.83 | 2000 |
DSL implementation using staging and monads | 20 | 2.23 | 1999 |
Beyond Interoperability - Tracking and Managing the Results of Computational Applications | 17 | 42.36 | 1997 |