This is a list of talks I prepared during last years.

In english:

  • “Typed embedding of a relational language in OCaml” (ML Workshop 2016) on youtube

In russian during seminar of our lab :

  • Parsley (2021)
  • “Pattern mathcing compilation via relational programming” (2020)
  • “Retrofitting parallelism onto OCaml” (2020)
  • delimCC (2019)
  • Yoneda lemma (2019)
  • Register allocation via puzzle solving (2019)
  • copattern mathcing (2018)

In russian:

  • About “Relational programming in OCaml” (during PLC2017 conference, Rostov-on-don, Russia)
  • About OCsigen on IT Meetup 2018
  • “Pure functional data structures” (for students in 2019)
  • “Pure functional data structures” (for students in 2020)
  • “Lambda-calculus” (for students in 2023)
def print_hi(name)
  puts "Hi, #{name}"
end
print_hi('Tom')
#=> prints 'Hi, Tom' to STDOUT.

Check out the Jekyll docs for more info on how to get the most out of Jekyll. File all bugs/feature requests at Jekyll’s GitHub repo. If you have questions, you can ask them on Jekyll Talk.