Auflistung nach Autor "Sabel, David"
Anzeige der Dokumente 1-4 von 4
-
An abstract machine for concurrent haskell with futures
Sabel, David
29-44 -
Parallelizing DPLL in Haskell
Berger, Till; Sabel, David
27-42 -
Reasoning about contextual equivalence: From untyped to polymorphically typed Calculi
Sabel, David; Schmidt-Schauß, Manfred; Harwath, Frederik
369-369