自2015年6月8日星期一起注册用户
加布里埃尔·拉丹是德国弗莱堡大学的博士后。他的目标是通过利用类型系统、模块系统和函数编程来提高编程语言的可用性和安全性。他还致力于为各种用例设计和实现特殊用途类型的系统,例如在他的博士论文中的无层Web编程。
贡献
显示其他会议的活动