Designing and Implementing a Framework for BDI-style Communicating Agents in Haskell (Position Paper) Alessandro Solimando and Riccardo Traverso? Dipartimento di Informatica e Scienze dell’Informazione, Università di

First Page		Document Content
Date: 2012-11-14 14:09:06 Declarative programming Software engineering Computer programming Functional programming Monad Arrow Type class Haskell Pattern matching Multi-agent system Beliefdesireintention software model Haskell features		Designing and Implementing a Framework for BDI-style Communicating Agents in Haskell (Position Paper) Alessandro Solimando and Riccardo Traverso? Dipartimento di Informatica e Scienze dell’Informazione, Università di Add to Reading List Source URL: verify.disi.unige.it Download Document from Source Website File Size: 169,80 KB Share Document on Facebook

	Intel Labs Haskell Research Compiler Hai (Paul) Liu with Neal Glew, Leaf Peterson, Todd A. Anderson Intel Labs. September 28, 2016 DocID: 1xVxS - View Document
	Native Offload of Haskell Repa Programs to Integrated GPUs Hai (Paul) Liu with Laurence Day, Neal Glew, Todd Anderson, Rajkishore Barik Intel Labs. September 28, 2016 DocID: 1xVja - View Document
	Unfailing Haskell: A Static Checker for Pattern Matching Neil Mitchell and Colin Runciman http://www.cs.york.ac.uk/∼ndm , http://www.cs.york.ac.uk/∼colin University of York, UK DocID: 1xVgx - View Document
	Proceedings of the 1999 Haskell Workshop Erik Meijer (editor) UU-CS DocID: 1xVbC - View Document
	Hat Day 2005: work in progress on the Hat tracing system for Haskell Colin Runciman (Editor) DocID: 1xV4B - View Document