Actualidad
IMDEA Software
Liquidate your assets: reasoning about resource usage in Liquid Haskell
19 mar 2019
Leer más trending_flatIMDEA Software
Zsolt István awarded Marie Skłodowska-Curie Individual Fellowship for the ACCORD project
18 mar 2019
Leer más trending_flat