http://www.pik-potsdam.de PIK Publications   
Display Documents   

   

Home
Help
Collections
People
Search
Fulltext Search
Session History
Load Basket
Login
Name:
Password:
 
Search
People:



Basket: Order by:
   Basket: 
ID: 5904.0, PIK / PIK Publications , full text not public
Botta, N.; Schupp, S.; Mandel, A.; Ionescu, C.; Hofmann, M.
Mathematical Specification of an Agend-Based Model of Exchange
In: Do-Form: Enabling Domain Experts to use Formalised Reasoning
Ed.: Kerber, M.; Lange, C.; Rowat, C.
Hove, UK : Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB)
2013. 38-48 p.
Proceedings of the Annual Convention of the Society for the Study of Artificial Intelligence and Simulation of Behaviour (Exeter 2013)
http://www.cs.bham.ac.uk/research/projects/formare/events/aisb2013/proceedings.php
Doctype: Article in book
   Basket: 
ID: 5498.0, PIK / PIK Publications
Lincke, D.; Schupp, S.
From HOT to COOL: Transforming Higher-Order Typed Languages to Concept-Constrained Object-Oriented Languages
In: LDTA '12 Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications
Ed.: Sloane, A.; Andova, S.
New York : ACM
2012.
10.1145/2427048.2427051
Doctype: Article in book
   Basket: 
ID: 5198.0, PIK / PIK Publications , full text not public
Botta, N.; Mandel, A.; Ionescu, C.; Hofmann, M.; Lincke, D.; Schupp, S.; Jaeger, C.
A functional framework for agent-based models of exchange
In: Applied Mathematics and Computation, 218 , 8
2011. 4025-4040 p.
10.1016/j.amc.2011.08.051
Doctype: Article (ISI journal)
   Basket: 
ID: 4132.0, PIK / PIK Publications
Lincke, D.; Schupp, S.
The function concept in C++: an empirical study.
In: Proceedings ACM SIGPLAN Workshop on Generic Programming
New York : Association for Computing Machinery
2009. 25-36 p.
Conference: International Conference on Functional Programming. ACM SIGPLAN workshop on Generic programming (Edinburgh, Scotland, August 2009)
Doctype: Article in book
version 2.00b13/16
PP&B