M.Sc. student at Paris Lodron Universität SalzburgB.Sc. in Computer Science and Information Technologies, Southern Federal University, 2018.
Email: anne.bolotina@gmail.com
Handling Recursion in Generic Programming Using Closed Type Families.
Anna Bolotina, Artem Pelenitsyn.
Talk at the Symposium on Trends in Functional Programming (TFP 2018).
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