The world outside Meije

[Mailing Lists] [Archive] [People]
[Publications] [Projects]
[Programming] [Miscellaneous]

Mailing Lists

concurrency is a moderated email forum focusing on concurrent process theory, especially operational and abstract semantics, specification, and verification of: concurrent, distributed, reactive, real-time and hybrid systems. / types is a moderated e-mail forum focusing on Type Theory in Computer Science, with a broad view of the subject encompassing semantical, categorical, operational, and proof theoretical topics (send subscription requests to types-request@cis.upenn.edu).

Article & Research Report Archive

The Collection of Computer Science Bibliographies. A collection of bibliographies of scientific literature in computer science from various sources, covering most aspects of computer science. The more than 870 bibliographies are updated monthly from their original locations such that you'll always find the most recent versions. / Hypatia. A directory of research workers in Computer Science and Pure Mathematics, and a library of their papers [Authors | Research groups] / The Hypertext Bibliography Project. / NCSTRL (pronounced "ancestral") is an international collection of computer science technical reports from CS departments and industrial and government research laboratories, made available for non-commercial and eduational use. / UCSTRI Unified Computer Science TR Index / The Computing Research Repository (CoRR)

Journals, Book and Conference series

electronic / Journal of Functional and Logic Programming [The MIT Press] / The MIT Press Journals / Chicago Journal of Theoretical Computer Science [The MIT Press] / Journal of Universal Computer Science [Springer] / Electronic Notes in Theoretical Computer Science [Elsevier] / The Hyper Bulletin of the EATCS / printed / Journal of Functional Programming [CUP] / Information and Computation [Academic Press] / Journal of the ACM [ACM] / Theoretical Computer Science [Elsevier] / Lecture Notes in Computer Science [Springer] / Logic in Computer Science (LICS) [IEEE CS] / Mathematical Foundations of Programming Semantics (MFPS) / International Conference on Functional Programming (ICFP) [ACM SIGPLAN]

Projects

BRICS / Confer 2

Concurrent Programming

Java [SunSoft]. Java is commonly thought of as a way to make Web pages sexy. / The join-calculus is an experimental language based on the homonymous process calculus. It provides a simple support for distributed programming. / Linda / Obliq [Digital SRC]. Obliq is a lexically-scoped untyped interpreted language that supports distributed object-oriented computation. / Pict is a language in the ML tradition, formed by adding a layer of convenient syntactic sugar and a static type system to a tiny core.

Miscellaneous

Advice on Research and Writing / Links on Calculi for Mobile Processes, with a bibliography on Mobile Processes and the pi-Calculus. / OO Type Theory. This page collects information about research on type systems for object-oriented programming. / Researchers in Programming Languages and Compilers collects some home pages of researchers working on programming language theory, design, implementation, and related areas. / Ressource for Programming Language Research. A collection of information and resources for research in programming language theory, design, implementation, and related areas. / The WWW Virtual Library on Computing