«Rewriting Engine for Process Algebra», Anatolii Kmetiuk

Process algebras are worth studying, because they greatly simplify event-full programming, where several processes may communicate one with another. A good example is GUI applications, where a work done by the application may be interrupted any time by the user pressing «Cancel» button.

This talk describes an attempt to build a process algebra engine in a functional way, using concepts of category theory and type-level programming.

Watch Speakers speeches at ScalaUA2017

Добавить комментарий

Ваш e-mail не будет опубликован. Обязательные поля помечены *