https://burakemir.ch/atom.xml

Have you ever wondered what a programming language actually is?

In this post, I will demonstrate how to run WebAssembly (Wasm) inside a MicroVM.

"Why study compiler construction?

This continues a meditation on effects.

In the programming languages discourse, the word "effect" is used with different meanings.

There is still no standard, precise definition of memory safety.

Today's post is a little different.

Today is a good day to recall some foundations of formal abstract machines, continuations, control and data stacks.

This is the last and final part of my little study of polarized natural deduction by means of CBPV.

Welcome back to our study of polarized natural deduction and what CBPV has to do with it.

We are continuing our look at call-by-push-value (CBPV), natural deduction and abstract machines.

I have been reading up on call-by-push-value (CBPV), a variation of $\lambda$-calculus that is more fine-grained in its treatment of argument-passing.

a fresh start I had to redo these pages.

Here are some snapshots from the journey (dblp): Pattern Matching.

about me This is Burak Emir and you are looking at my homepage and blog.