759 search results - page 7 / 152 » An Internal Language for Interaction Categories |
OOPSLA
2010
Springer
14 years 8 months ago
2010
Springer
In this paper we provide an experience report where language oriented programming approaches are applied to complex game design. Ficticious is a G-expression based pidgin of sever...
ICMAS
1998
14 years 11 months ago
1998
Multi-agent models of language evolution usually involve agents giving names to internal independently constructed categories. We present an approach in which the creation of cate...
WWW
2006
ACM
15 years 10 months ago
2006
ACM
Electronic democracy should provide information and service for the citizens on the Internet, allowing room for debate, participation and electronic voting. The languages being ad...
73
Voted
ICALP
2004
Springer
15 years 3 months ago
2004
Springer
We consider the multiplicative and exponential fragment of linear logic (MELL) and give a Geometry of Interaction (GoI) semantics for it based on unique decomposition categories. ...
ERLANG
2007
ACM
15 years 1 months ago
2007
ACM
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...