publié le: October 2009
Despite the extensiveness of recent investigations on static typing for XML, parametric polymorphism has rarely been treated. This well-established t...
Recent work on adaptive functional programming (AFP) developed techniques for writing programs that can respond to modifications to their data by per...
publié le: January 2010
Pluggable types enable users to enforce multiple type systems in one programming language. We have developed a suite of tools, called the JAVACOP fra...
publié le: 2002
Pour qui écrit, vouant sa vie à l’écriture, ce parallélépipède de papier qu’est le livre, qu’il soit de très modeste ou de plus ample envergure, est...
L’oeuvre d’art (qu’elle soit le fait de l’artiste ou de l’artisan), l’activité de recherche (qu’elle soit conduite par un chercheur patenté ou par un...