拉尔斯·赫佩尔

关于

个人资料图片 拉尔斯是INNOQ公司在德国慕尼黑,他们被称为类型级倡议它致力于在友好友好的环境中提供有原则的、类型驱动的Scala库开源社区,尤其是在Scala,他们也喜欢用Haskell编程,并谈论Haskell、TypeScript、Prolog和Rust杜慕贞在逻辑和验证领域研究重点是从定理证明器生成验证代码的技术。
代词:他们/他们,er(仅限德语)
联系邮箱:信息:hulars@

长期有效邀请

灵感来自帕特里克·麦肯齐,我提供长期邀请: 如果你想谈研究或软件,我想和你谈谈。 有关详细信息,请查看本页.

飞行状态

二氧化碳排放总量:72吨
迄今为止的抵消量:44吨