|
Programming Language and Compiler Research Groups (1438 words) |
 | The LF logical framework and its implementation in the Elf constraint logic programming language. |
| Programming logics and the Martin-Löf theory of types; functional programming languages, their use and implementation; process calculi such as CCS; developing tools and methodologies for deriving correct as well as efficient programs. |
| Haskell language and implementation; state, input/output, and concurrency; semantics based program manipulation; applications of category theory and type theory; parallel functional programming; functional languages for massive parallelism; using functional languages for hardware specification, synthesis and analysis; large applications of functional languages. |
| Programming Languages (5305 words) |
| MIX - In the "Art of Computer Programming", Knuth described a "prototypical" computer and designed an assembly language to program it and work the examples in his book, rather than tie the books to a passing fad language of the week. |
| Simkin - An embeddeable language for Java and C++, meant to be use for application scripting(like VBA I suppose). |
| D - A programming language meant to be a successor to C and C++, feature wise it certainly seems to be okay, having some functional, OOP, generic programming, and reliability constructs, along with support for C API's. |
Feeds |
Contact