Department of Computer Science. Research areas include complexity, semantics, theoretical computer science, coloured Petri nets, human-machine interaction, object technology, distributed multimedia and bioinformatics.

Applications of category theory to computer science, semantics of concurrent process languages.

Official page: descriptions, FAQ, downloads, newsgroups, archive, tutorials, teaching experiences, papers, research, related topics, links. [University of Aarhus, Denmark]

Generalization of BETA language via interpreter/compiler, strict, static type-checked. Ph.D. project. Descriptions of modularization, lazy analysis, compatibility; tutorial, papers, FAQ, downloads, bug reports. [Open Source, GPL]

article by Ole Lehrmann Madsen.

Goal: design, implement meta-level interface for statically typed, compiled language BETA, to extend expressiveness of language so programs can be written for it, not just in it. Functionality depending on a language implementation is impossible or ve...

Mjolner Informatics Report.

An Object-Oriented multi-platform rapid application development environment.

Centre of object technology questions and answers about Delphi as COM tool.

Official Home Page for the Simuli-like OOP language BETA. Features documentation, tutorials, and general information.