Page Information

Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Note: topics are listed in reverse chronological order.

Topics from 2017 

 Live Programming

 On September 8 we discussed the paper "Towards Live Domain-Specific Languages: From Text Differencing to Adapting Models at Runtime” by van Rozen and van der Storm.

The Lean Theorem Prover

 On August 4 we discussed Microsoft's Lean Theorem Prover via a short system description paper and tutorials on the Lean web site.

...

On August 23, we discussed the Rust Programming Language from Mozilla Research by looking at the Rust Language Tutorial.

Live Programming

On August 16, we continued our discussion of live programming environments by looking at Light Table a project under development by Chris Granger and colleagues. We will look at some demos and try the alpha release.

...