News History

Saarland University
Informatics
Programming Systems


Home
People
Papers

Manual
Download
Contributions
Contact

Wiki
Bugs

• 2014/07/31: Chris Double created a mirror of the Alice repository on GitHub, including recent build patches
• 2007/06/18: New paper about HOT Pickles ...and how to serve them online
• 2007/05/03: Alice 1.4 released!
• 2007/04/18: New PhD thesis about Typed Open Programming - A higher-order, typed approach to dynamic modularity and distribution online
• 2007/03/09: New PhD thesis about Design and Implementation of a Programmable Middleware online
• 2006/11/02: New BSc thesis about A Sandboxing Infrastructure for Alice ML online
• 2006/10/16: New paper about Generating Propagators for Finite Set Constraints online
• 2006/10/16: New paper about Program Equivalence for a Concurrent Lambda Calculus with Futures online
• 2006/10/09: New BSc thesis about A Semantics for Lazy Types online
• 2006/08/28: Alice 1.3 released!
• 2006/06/06: New paper about A Concurrent Lambda Calculus with Futures online
• 2006/06/06: New Diploma thesis about Run-Time Byte Code Compilation, Optimization, and Interpretation for Alice online
• 2006/04/10: New paper about Dynamic Components for ML online
• 2005/09/02: Alice 1.2 released!
• 2005/07/01: New paper about Generic Pickling and Minimization online
• 2005/06/07: Chris Rathman has also started translating examples from SICP to Alice
• 2005/04/15: A formal semantics of Standard ML with Packages online
• 2005/04/06: Updated all packages with a hotfix for the toplevel-eats-all-CPU-time issue
• 2005/03/24: Alice 1.1 released!
• 2005/03/01: Chris Rathman has started translating all examples from CTM to Alice
• 2005/02/15: Updated Emacs mode
• 2005/01/18: Updated Windows package fixes GMP-related problems on some Win boxes
• 2005/01/11: Alice Wiki upgraded
• 2004/12/23: Updated Windows package
• 2004/12/22: Alice 1.0 released! Featuring a SEAM-based VM and the GECODE constraint library
• 2004/12/22: New paper, Alice Through the Looking Glass, presenting the Alice ML language design
• 2004/10/07: SEAM homepage online
• 2004/05/05: Parsec parsing combinator library on contributions page
• 2004/04/15: Alice 0.9.3 released!
• 2003/08/22: Regular Expression and SQLite library on contributions page
• 2003/07/25: Alice 0.9.2 released!
• 2003/07/23: Set up contributions page
• 2003/02/13: Alice 0.9.1 released!
• 2003/01/14: Alice Wiki online
• 2002/12/20: Alice 0.9 released!
• 2002/04/25: technology preview version available
• 2002/03/20: first version of new "SEAM" VM is working
• 2001/04/20: bug-tracking system online
• 2001/04/19: internal release of "Stockhausen" Operette 2, now officially called Alice
• 2001/03/14: new Alice home page online
• 2000/07/04: prototypical port to Microsoft's .NET platform completed
• 2000/06/16: first prototype of the "Stockhausen" system, Operette 1, released internally
• 2000/01/18: preliminary "Stockhausen" home page online