Semantic Web Interest Group IRC Scratchpad

Welcome to the Semantic Web Interest Group scratchpad generated automatically from discussions on IRC at Freenode channel #swig 2001-2018 approx by the chump bot.

Nearby: IRC logs | semantic-web list | W3C Wiki (Recent changes) | delicious swigbot

last updated at 2012-03-01 21:12
http://sldkfhalksjfa;kjd;akjd;akjsd/myfavoriteToy
posted by bblfish at 2012-03-01 21:59 (+) tags:
 
Certified Programming with Dependent Types
posted by betehess at 2012-03-01 21:12 (+) tags:
DanC_: here's hoping for time to read it...
DanC_: "Twelf's type language is restricted to a bare-bones, monomorphic lambda calculus" interesting. Twelf was one of the 1st proof languages I looked at.
 
Coq2Scala
posted by DanC_ at 2012-03-01 21:10 (+) tags:
DanC_: "Coq2Scala is an extention to Coq Extraction. Coq will be able to generate Scala code from Coq definitions."
 
Created by the Daily Chump bot. Hosted by PlanetRDF.