Actualidad
IMDEA Software
Talk by Elena Gutierrez: Weighted Context-free Grammars: Does Parikh’s Theorem still hold?
03 Apr 2018
Leer más trending_flat
IMDEA Software
Weighted Context-free Grammars: Does Parikh’s Theorem still hold?
03 Apr 2018
Leer más trending_flat
IMDEA Software
Talk by Niki Vazou: Liquid Haskell: Usable Language-Based Program Verification
02 Apr 2018
Leer más trending_flat

