|
Welcome to the home page of Edmund S. L. Lam |
|
Last Update: 29 May 2008, 1200 GMT +8 |
|
Publications “Parallel Execution of Multi Set Constraint Rewrite Rules” M. Sulzmann and E. S. L. Lam. In proc of 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP’08) Valencia Spain, July 08 [ps] “Actors with Multi-Headed Message Receive Patterns” M. Sulzmann, E. S. L. Lam and P. Van Weert. In proc. of 10th International Conference on Coordination Models and Languages (Coordination’08), Oslo Norway, Jun 2008 [ps] “A Concurrent Constraint Handling Rules Implementation in Haskell with Software Transactional Memory” E. S. L. Lam and M. Sulzmann. In proc. of Declarative Aspect of Multicore Programming 2007, Nice France [ps] “Finally, A Comparison Between Constraint Handling Rules and Join-Calculus” E. S. L. Lam and M. Sulzmann. In proc. of Workshop on Constraint Handling Rules (CHR’08), Hagenberg Austria [ps] “Compiling Constraint Handling Rules with Lazy and Concurrent Search Techniques” E. S. L. Lam and M. Sulzmann. In proc. of Workshop on Constraint Handling Rules (CHR’07), Porto Portugal [ps] “Towards Agent Programming in CHR” E. S. L. Lam and M. Sulzmann. In proc. of Workshop on Constraint Handling Rules (CHR’06), Venice Italy [ps] Technical Reports “Parallel Execution of Multi Set Constraint Rewrite Rules” M. Sulzmann and E. S. L. Lam, Technical Report Feb 2008 [ps] [extended] “Efficient Compilation of Guarded Join-Patterns via Parallel Implementation of Constraint Handling Rules” E. S. L. Lam and M. Sulzmann, Thesis Proposal Jan 2008 [ps] “Haskell-Join-Rules” E. S. L. Lam and M. Sulzmann, Draft proceedings IFL2007, Freiburg [ps] “A Concurrent Constraint Handling Rules Semantics and its Implementation with Software Transactional Memory” M. Sulzmann and E. S. L. Lam, Extended version of DAMP’07 paper [ps] “Specifying and Controlling Agents in Haskell” M. Sulzmann and E. S. L. Lam, Technical Report Sep 2007 [ps] “Associated Functional Dependencies” M. Sulzmann and E. S. L. Lam, Technical Report Oct 2005 [ps] |
