Blog from December, 2011

EventML version 0.2
Jim Entwood posted on Dec 20, 2011

Lately we have had a lot of activity around EventML, the programming language Vincent Rahli has developed. We are refining EventML and exploring the potential of this programming language that uses Event Logic for coding distributed protocols and docks with the Nuprl theorem prover.

Yesterday a new version of the software package was released. It is available on our CRASH page:

www.nuprl.org/crash/software.php

We have also posted a draft Tutorial for EventML, including:

  • Background about EventML
  • Description of Event Classes
  • Examples
    • Ping Pong
    • Leader Election in a Ring
    • Two-thirds Consensus
PRL Seminar Dec 9 - Nuprl Evaluator
Jim Entwood posted on Dec 09, 2011

Discussion of the Nuprl Evaluator

Following up on the direction of last week’s extended seminar, today we will be continuing our discussion of the Nuprl evaluator.

This Friday’s seminar will take place in Upson 5126 from 12:05-1:00PM.

Slides from Finally Tagless talk posted
Jim Entwood posted on Dec 05, 2011

We had a lively discussion at the Seminar Last week following Chung-chieh Shan's talk.

Slides from the talk are available at:

http://www.nuprl.org/PRLSeminar/PRLSeminar2011/Chung-chiehShan-FinallyTaglessPartiallyEevaluated.pdf

Coming up this Friday (Dec. 9) will be a discussion of the Nuprl Evaluator.