Changes between Version 78 and Version 79 of WikiStart


Ignore:
Timestamp:
Nov 10, 2011, 10:07:29 AM (13 years ago)
Author:
Erik de Castro Lopo
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v78 v79  
    2929* [http://fp-syd.ouroborus.net/report/13 Tasks]
    3030
    31 === 20th October ===
    32  * Shane Stephens - Optional Type Inference for `JavaScript`, and `JavaScript` `Type` `Contracts`, two crazy ideas from ICFP
    33  * Tom Sewell - Translation games in the land of the assembler
    34  * Tony Sloane, Introduction to Partial Evaluation (30-40 mins)
    35 
    3631=== 17th November ===
    3732 * Sean Seefried, Generic Matrix Multiplication (lightning talk)
    38  * Raphael Speyer
    3933 * Richard Garner, Dependent Types (longer talk)
    40  * Ben Sinclair
     34 * Ben Sinclair, A certified adder in Agda
    4135
    4236=== 16th February ===
    4337 * Eric Willigers
     38 * Raphael Speyer
    4439 * Eric Torreborre, The Essence of the Iterator Pattern
    45  * Speaker 3, Talk title (if known)
    4640 * Speaker 4, Talk title (if known)