conf.researchr.org / Ruo Fei Chen
Registered user since Fri 6 May 2022
Name:Ruo Fei Chen
Country:Germany
Affiliation:Independent Researcher
Personal website:https://maybevoid.com
Twitter:https://twitter.com/soareschen
Research interests:Programming Languages, Type Theory, Functional Programming
Contributions
| ECOOP 2022 | Author of Ferrite: A Judgmental Embedding of Session Types in Rust within the Research Papers-track |