Nachiappan V

PhD student at Chalmers University on the Octopi project. I work on functional programming languages using types, categories and logic.

Recent work

Some things I’ve done in the past