Personal Information
Unternehmen/Arbeitsplatz
nagoya Japan
Beruf
Software Developer
Info
新米SEになりました。
Tags
coq
proof driven
msgpack
scala
type checking
formal
proof
ocaml
ruby
messagepack
wankuma
coq ruby
Mehr anzeigen
Präsentationen
(23)Personal Information
Unternehmen/Arbeitsplatz
nagoya Japan
Beruf
Software Developer
Info
新米SEになりました。
Tags
coq
proof driven
msgpack
scala
type checking
formal
proof
ocaml
ruby
messagepack
wankuma
coq ruby
Mehr anzeigen