Here are some snapshots from the journey (dblp):

• Pattern Matching.

  • Burak Emir. Object-oriented pattern matching.. Thesis, EPFL Lausanne, 2007.
  • Burak Emir, Martin Odersky, John Williams. Matching objects with patterns. ECOOP 2007.
  • Burak Emir, Qin Ma, Martin Odersky. Translation Correctness for First-Order Object-Oriented Pattern Matching. APLAS 2007

• Constrained Polymorphism (for lack of a better word).

  • Burak Emir, Andrew Kennedy, Claudio Russo, Dachuan Yu. Variance and Generalized Constraints for C# generics. ECOOP 2006. I think variance annotations made it to C# 4.0 later.

• Symbolic Execution

  • In 2010, I got funding for an internship to apply symbolic execution. This was ultimately unsuccessful, but we learned a few things. The intern was hired later.

• arrow-logo

  • I did a few programming courses for kids using LOGO and wrote an interpreter arrow-logo that runs in the browser. Some thoughts on educational programming environments for kids on my old blog.
  • Play with it here: https://burakemir.ch/arrowlogo/ArrowLogo.html

• Datalog and Logic Programming.

  • I develop and maintain a language called Mangle and its implementation, open-sourced it (Nov 2022). More people need to know datalog.

  • Or do we need to write SQL interpreters??

posts on the old blog

I used to post at bq9.blogspot.com because it needed minimal effort but I just can't. Editing html with mathjax in this blogger interface is driving me nuts and drains all my writing energy.

Here are some posts:

• (2021) Worked example of automata runs as sheaves
• (2021) What are Commuting Conversions
• (2020)Relating partial evaluation, multi-stage programming and macros
• (2020) Intuitionistic Logic:
  • Intuitionistic Propositional Logic and Natural Deduction
  • Kripke semantics and Tableaux for Intuitionistic Logic
• (2020) Higher-order Logic:
  • Higher-order Logic and Equality
  • Intuitionistic Higher-Order Logic and Equality
• (2010) Yacc is of the Living Dead