https://wiki.tfpie.science.ru.nl/api.php?action=feedcontributions&feedformat=atom&user=J.stutterheim 2026-05-01T17:27:35Z User contributions MediaWiki 1.43.0 https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2012:_Forty_Hours_of_Declarative_Programming&diff=70 2012-06-14T15:54:28Z

<p>J.stutterheim: </p> <hr /> <div>== Forty hours of declarative programming ==<br /> By: Jurriën Stutterheim, Wouter Swierstra, and Doaitse Swierstra<br /> <br /> * Draft proceedings version [[File:TFPIE2012_Draft_FortyHoursOfDeclarativeProgramming_Stutterheim_et_al.pdf]]<br /> * Lecture notes (Dutch) [[File:Jculecturenotesdutch.pdf]]<br /> * [http://vhost0031.zoo.cs.uu.nl/ JCU live server] (registration required, no email confirmation)<br /> * [http://vhost0031.zoo.cs.uu.nl/JCUWebApp.mov Demo movie]</div>

J.stutterheim https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2012:_Forty_Hours_of_Declarative_Programming&diff=69 2012-06-14T15:54:15Z

<p>J.stutterheim: </p> <hr /> <div>== Forty hours of declarative programming ==<br /> By: Jurriën Stutterheim, Wouter Swierstra, and Doaitse Swierstra<br /> <br /> * Draft proceedings version [[File:TFPIE2012_Draft_FortyHoursOfDeclarativeProgramming_Stutterheim_et_al.pdf]]<br /> * Lecture notes (Dutch) [[File:Jculecturenotesdutch.pdf]]<br /> * [http://vhost0031.zoo.cs.uu.nl/ JCU live server] (registration required, no email confirmation)<br /> * [vhost0031.zoo.cs.uu.nl/JCUWebApp.mov Demo movie]</div>

J.stutterheim https://wiki.tfpie.science.ru.nl/index.php?title=Main_Page&diff=68 2012-06-11T13:15:47Z

<p>J.stutterheim: </p> <hr /> <div>'''MediaWiki has been successfully installed.'''<br /> <br /> Consult the [http://meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software.<br /> <br /> == TFPIE ==<br /> Welcome to the TFPIE wiki. Here you can find additional material that is provided by participants of the TFPIE workshops. You can find the pages to the very first workshop below. We hope more events will be organized in the future.<br /> <br /> * [[TFPIE2012]]</div>

J.stutterheim https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2012:_Forty_Hours_of_Declarative_Programming&diff=36 2012-05-29T21:00:25Z

<p>J.stutterheim: </p> <hr /> <div>== Forty hours of declarative programming ==<br /> By: Jurriën Stutterheim, Wouter Swierstra, and Doaitse Swierstra<br /> <br /> * Draft proceedings version [[File:TFPIE2012_Draft_FortyHoursOfDeclarativeProgramming_Stutterheim_et_al.pdf]]<br /> * Lecture notes (Dutch) [[File:Jculecturenotesdutch.pdf]]<br /> * [http://vhost0031.zoo.cs.uu.nl/ JCU live server] (registration required, no email confirmation)</div>

J.stutterheim https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2012:_Forty_Hours_of_Declarative_Programming&diff=35 2012-05-29T20:58:03Z

<p>J.stutterheim: </p> <hr /> <div>== Forty hours of declarative programming ==<br /> By: Jurriën Stutterheim, Wouter Swierstra, and Doaitse Swierstra<br /> <br /> * Draft proceedings version [[File:TFPIE2012_Draft_FortyHoursOfDeclarativeProgramming_Stutterheim_et_al.pdf]]<br /> * Lecture notes (Dutch) [[File:Jculecturenotesdutch.pdf]]</div>

J.stutterheim https://wiki.tfpie.science.ru.nl/index.php?title=File:Jculecturenotesdutch.pdf&diff=34 2012-05-29T20:57:30Z

<p>J.stutterheim: Lecture notes for the JCU prethesis (Dutch)</p> <hr /> <div>Lecture notes for the JCU prethesis (Dutch)</div>

J.stutterheim