Symposium on Practical Aspects of Declarative Languages

• Logic Programming with Extensible Types (Lightning talk)
• Checking Concurrency Coding Rules
• Haskell Based Spreadsheets