March, 16th: Proving properties of functional programs by equality saturation

Sergei Grechanik

Sergei Grechanik

Sergei Grechanik works at Keldysh Institute of Applied Mathematics (Russian Academy of Sciences). He is graduated from Lomonosov Moscow State University in 2011.

The seminar will be at Institute for System Programming of Russian Academy of Sciences at 5p.m. on March, 16th.

Leave a Reply

Your email address will not be published. Required fields are marked *

*

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>