Theoretical Computer Science
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
Science of Computer Programming - Special issue on mathematics of program construction
The influence of browsers on evaluators or, continuations to program web servers
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
Locus Solum: From the rules of logic to the logic of rules
Mathematical Structures in Computer Science
Higher-Order and Symbolic Computation
Tree components programming: an application to XML
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Theoretical Computer Science
FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming
A formal account of contracts for web services
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Ludics and natural language: first approaches
LACL'12 Proceedings of the 7th international conference on Logical Aspects of Computational Linguistics
Hi-index | 0.00 |
The development of the Web lead to new programming languages. They merely come from well-known sequential languages augmented by specific libraries dedicated to web usage. They do not seriously take into account interaction, that is the most important principle in action. Relevant to the dialogue paradigm, we show that a web language may be fully designed in this spirit. We explain in which extent interaction is a central concept in web analysis. For that purpose, we use ludics as a logical framework. Ludics was developed by J.-Y. Girard as a semantics able to rebuild the logics from the notion of interaction. We present then a concrete web language whose type system is derived from ludics.