M.Sc. student at Southern Federal University.

B.Sc. in Computer Science and Information Technologies, Southern Federal University, 2018.

Email: ann-bolotina@yandex.ru

Research Interests

  • Programming languages design and implementation, type theory, formal semantics, compilers.
  • Dependently typed programming, formal methods, verification techniques, theorem provers.
  • Design patterns, domain-specific languages.
  • Category theory.

Conference Talks

Handling Recursion in Generic Programming Using Closed Type Families.

Anna Bolotina, Artem Pelenitsyn.

Talk at the Symposium on Trends in Functional Programming (TFP 2018).

Seminar Talks

Differentiation and Generic Zippers in Haskell.

Anna Bolotina.

Programming Languages and Compilers Seminar. Southern Federal University.
November 2016.

Defining a Generic Zipper Using generics-sop.

Anna Bolotina.

Programming Languages and Compilers Seminar. Southern Federal University.
May 2017.


Site written in Markdown |  Page design by Ankit Sultana | Hosted by GitHub Pages