Anna Bolotina

M.Sc. student at Paris Lodron Universität Salzburg

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

Email: anne.bolotina@gmail.com

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.

Publications

  • Anna Bolotina, Ryan Culpepper. Composable Sequence Macros for Fast Iteration. International Conference on Generative Programming: Concepts and Experiences (GPCE 2022). https://doi.org/10.1145/3564719.3568696

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).

Slides | Draft Paper (Unpublished)

Seminar Talks

Differentiation and Generic Zippers in Haskell.

Anna Bolotina.

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

Slides (in Russian)

Defining a Generic Zipper Using generics-sop.

Anna Bolotina.

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

Slides (in Russian)

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