~/talks

Dierk König

what they talk about

where they keep going back

on a stage with

never shared a talk

who talks about the same things

titleconferencedate
Benefits of Functional Programming Beyond map/filter/reduceJfokus 20182018-02-05
Argues that beyond map/filter/reduce purely functional techniques let programs go safely parallel and use the type system to ensure thread-correctness at…
Talk on
Frege: purely functional programming for the JVMJfokus 20162016-02-08
Frege is a Haskell-for-JVM that compiles Haskell to Java source (then javac to bytecode), enforces purity across Java calls by requiring Frege types for Java…
Talk on
Frege: Purely Functional Programming for the JVMGOTO Berlin 20152015-12-03
Frege is a purely functional JVM language (Haskell-like) that compiles to Java source and javac bytecode, uses a REPL, global type inference and lazy infinite…
Talk on
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.