Ohad Kammar

Research Interests

Category theory, logic, programming language semantics, computational effects, access control, effect type systems.

Agda Course, 2011

Publications, talks, etc. (abstracts)

• Handlers in Action, Scottish Programming Lanugage Seminar (SPLS), 15 March, 2012.

• Algebraic Foundations for Effect-Dependent Optimisations, Principles of Programing Seminar (POP), 30 January, 2012.

• Algebraic Foundations for Effect-Dependent Optimisations, 39th Symposium on Principles of Programming Languages (POPL’12), 26 January, 2012.

• Algebraic Foundations for Effect-Dependent Optimisations, POPL’12.

• Algebraic Foundations for Effect-Dependent Optimisations, Functional Programming Lab Seminar, 11 January, 2012.

• Programming Language Semantics: {Ret | Int | P}rospective Discussion, LFCS Lab Lunch, 20 September, 2011.

• On the Statistical Thermodynamics of Reversible Communicating Processes, CALCO’11, coauthor in invited paper.

• Algebraic Foundations for Type and Effect Analysis, European Workshop on Computational Effects, 18 March, 2011.

• Take Action for Your State!, joint Scottish Programming Lanugage Seminar (SPLS) and Fun in the Afternoon, 24 November, 2010.

• Algebraic Aproaches to Semantics, Research Proposal, 24 February, 2010.

• A well kept secret…, LFCS Lab Lunch, 19 January, 2010.

Teaching

Exercise sheet for Language Semantics and Implementation, 2010.