In recent years, deep learning has become a hot research topic. Although it achieves
incredible positive results in some scenarios, bugs inside deep learning software can …

Interoperability is big business, a fact to which. NET, the JVM, and COM can attest.
Language designers are well aware of this, and they are designing programming languages …

Higher-level languages interface with lower-level languages such as C to access platform
functionality, reuse legacy libraries, or improve performance. This raises the issue of how to …

Graphics cards for personal computers have recently undergone a radical transformation
from fixed-function graphics pipelines to multi-processor, programmable architectures. Multi …

Java's type system enforces exception-checking rules that stipulate a checked exception
thrown by a method must be declared in the throws clause of the method. Software written in …

wxHaskell is a graphical user interface (GUI) library for Haskell that is built on wxWidgets: a
free industrial strength GUI library for C++ that has been ported to all major platforms …

Hat is a programmer's tool for generating a trace of a computation of a Haskell 98 program
and viewing such a trace in various different ways. Applications include program …

Abstract A Foreign Function Interface (FFI) allows one host programming language to
interoperate with another foreign language. It enables efficient software development by …

The configurations problem is to propagate run-time preferences throughout a program,
allowing multiple concurrent configuration sets to coexist safely under statically guaranteed …

This work is a case study in program verification: We have written a simple parser and a
corresponding pretty-printer in a non-strict functional programming language with lifted pairs …