My current research is in the area of functional programming languages. Particularly, type inference, in the presence of an embedded monoidal equational theory. We have created a functional language that allows the specification of (polymorphic) functions over the arrows/objects of a monoidal category (embedded using special "annotations" on types). We hope to apply this work to several areas of concurrency research, including so called "coordination" languages.
- Functional Programming
- (Static) Type systems, and "programming with guarantees".
- Programming Languages and their Semantics
- (Basic) Category Theory
- Version control systems, particularly Darcs.
You can contact me at: email@example.com.
If you are at Southampton University, I can be found in the level 4 lab of the Mountbatten building (number 53), in bay 4.