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 Generics (Universal Polymorphism)

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

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

• 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.
  • Mangle Point in Time 01
  • Mangle Point in Time 02

• Odersky Fest 2023

posts on the old blog

The old blog is at bq9.blogspot.com. Some posts you can find over there:

• (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