Modular Abstractions of Reactive Nodes using Disjunctive Invariants

Modular Compilation of a Synchronous Language

Molecular Programming Pseudo-code Representation to Molecular Electronics

Multi-Level Languages are Generalized Arrows

Multi-Stage Programs are Generalized Arrows

Multi-Threading And Message Communication In Qu-Prolog

Multimethods and separate static typechecking in a language with C++-like object model

MyProLang - My Programming Language: A Template-Driven Automatic Natural Programming Language

Nested Refinements for Dynamic Languages

Nesting Probabilistic Inference

New parallel programming language design: a bridge between brain models and multi-core/many-core computers?

Nominal Logic Programming

Non-termination Analysis of Logic Programs with Integer arithmetics

Non-Termination Inference of Logic Programs

Normal Form Bisimulations for Delimited-Control Operators

Numerical Invariants through Convex Relaxation and Max-Strategy Iteration

O(1) Reversible Tree Navigation Without Cycles

Object-Oriented Intensional Programming: Intensional Classes Using Java and Lucid

Observational semantics of the Prolog Resolution Box Model

OCamlJIT 2.0 - Faster Objective Caml