Actualidad
IMDEA Software
Talk by Panagiotis Bougoulias: Tail-call optimisation in lazy functional languages
14 jun 2019
Leer más trending_flatIMDEA Software
Tail-call optimisation in lazy functional languages
14 jun 2019
Leer más trending_flatIMDEA Software
Talk by Mooly Sagiv: Deductive verification of distributed protocols in first-order logic
12 jun 2019
Leer más trending_flat