Vector Fabrics (Netherlands)

Positional update handling in column stores

Sándor Héman, Marcin Żukowski, Niels Nes et al. · 2010 · 75 citations

Differential Structure, Engineering, Computer Architecture +17

Generic programming with fixed points for mutually recursive datatypes

Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh et al. · 2009 · 66 citations

Mathematical Programming, Engineering, Data Type +15

A Tutorial Implementation of a Dependently Typed Lambda Calculus

Andres Löh, Conor McBride, Wouter Swierstra · Fundamenta Informaticae · 2010 · 38 citations

A lightweight approach to datatype-generic rewriting

Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans et al. · Journal of Functional Programming · 2010 · 20 citations

Engineering, Lightweight Approach, Type Families +16

Corrosion protection of a thin aluminium layer deposited on polyester

Marcel Šimor, A. Fiala, Dušan Kováčik et al. · Surface and Coatings Technology · 2007 · 20 citations

Materials Science, Corrosion Protection, Engineering +5