Matthieu Bovel
@mbovel
PhD student at LAMP, EPFL. Working on type-level programming, dependent types and refinement types in Scala 3.
ID: 29220405
06-04-2009 15:19:20
0 Tweet
78 Followers
279 Following
@mbovel
PhD student at LAMP, EPFL. Working on type-level programming, dependent types and refinement types in Scala 3.
ID: 29220405
06-04-2009 15:19:20
0 Tweet
78 Followers
279 Following
