Talks
Speakers
Events
Topics
Sign in
Home
Talks
Speakers
Events
Topics
Leaderboard
Use
Analytics
Sign in
Ruby Extension Library Verified using Coq Proof-assistant
Ruby Extensions
🇯🇵
Japanese
Improve extension API: C++ as better language for extension
Kouhei Sutou
RubyKaigi 2017
🇯🇵
Japanese
Ruby Extension Library Verified using Coq Proof-assistant
Tanaka Akira
RubyKaigi 2017
Ruby-red onions: Peeling Back Ruby's Layers in C Extensions
Emily Stolfo
RubyConf 2014