Polytypic Functions Over Nested Datatypes by Hinze, R

Numerical Representations as Higher−Order Nested Datatypes by Hinze, R

A BSP Scheduling Tool for Loop Nest Parallelisation by Calinescu, R

A Scheme for the BSP Scheduling of Generic Loop Nests by Calinescu, R

Performances et perspectives des services d'eau potable en milieu rural en Afrique de l'Ouest francophone by REACH / RWSN

“…L’un des messages clés du rapport est que la délégation des services d’eau dans les zones rurales n’est pas une panacée et ne prétend pas être la seule alternative à la gestion communautaire. …”

An efficient cell vertex method for unstructured tetrahedral grids by Crumpton, P

“…This is used as a smoother in an unstructured multigrid method, which requires a sequence of non--nested tetrahedral grids. Fast solutions are achieved by using a distributed memory parallel computer.…”

A Cut−Free Sequent Calculus for Algebraic Dynamic Epistemic Logic by Dyckhoff, R, Sadrzadeh, M

“…We develop a cut-free sequent calculus for an algebraic semantics of a Dynamic Epistemic Logic. The calculus is nested and consists of an action linear logic which acts on a propositional logic via a dynamic modality and its left adjoint update. …”