https://wiki.tfpie.science.ru.nl/api.php?action=feedcontributions&feedformat=atom&user=131.174.142.55 2026-04-30T18:50:44Z User contributions MediaWiki 1.43.0 https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2012&diff=40 2012-06-01T11:32:14Z

<p>131.174.142.55: /* Contributions */</p> <hr /> <div>== TFPIE 2012 ==<br /> TFPIE 2012 is the first International Workshop on Trends in Functional Programming in Education. It is co-located with TFP 2012 at the University of St. Andrews in Scotland.<br /> <br /> === Contributions ===<br /> Below you can find the draft papers and additional material provided by the participants of TFPIE 2012. The order is identical to the workshop program.<br /> <br /> # How Computers Work: Computational Thinking for Everyone (Rex Page, Ruben Gamboa) [[TFPIE 2012: How Computers Work]]<br /> # Mathematics Is Imprecise (Prabhakar Ragde) [[TFPIE2012: Mathematics is Imprecise]]<br /> # Step-by-step tutorial of good abstraction design (Philip Hölzenspies) [[TFPIE2012: Good Abstraction Design]]<br /> # Teaching generic programming (Pieter Koopman and Rinus Plasmeijer) [[TFPIE2012: Teaching Generic Programming]]<br /> # Forty hours of declarative programming -- Teaching Prolog at the Junior College Utrecht (Jurriën Stutterheim, Wouter Swierstra, and Doaitse Swierstra) [[TFPIE2012: Forty Hours of Declarative Programming]]<br /> # COMP 2650 Experience: Teaching Functional Programming to Non-Majors (Ashoke Deb) [[TFPIE2012: COMP 2650 Experience]]<br /> # CS4204: Concurrency and Multicore Architectures (Kevin Hammond) [[TFPIE2012: Concurrency and Multicore Architectures]]<br /> # Teaching Parallel Functional Programming at Chalmers (John Hughes and Mary Sheeran) [[TFPIE2012: Teaching Parallel FP at Chalmers]]<br /> # Holmes for Haskell (Jurriaan Hage, Brian Vermeer and Gerben Verburg) [[TFPIE2012: Holmes for Haskell]]<br /> # Intensive Programmes in Functional Programming (Viktória Zsók and Zoltán Horváth) [[TFPIE2012: Intensive Programs in FP]]<br /> # The Recursion Schemes of Scientific Models -- A Multi-Paradigm Study of the Logistic Map in Haskell (Baltasar Trancón y Widemann) [[TFPIE2012: Recursion Schemes of Scientific Models]]<br /> # Connecting the Dots: Computer Systems Education using a Functional Hardware Description Language (John O'Donnell) [[TFPIE2012: Connecting the Dots]]<br /> # Tactile Terms (Philip Hölzenspies) [[TFPIE2012: Tactile Terms]]<br /> # Teaching Functional Programming to Professional .NET Developers (Tomas Petricek) [[TFPIE2012: Teaching FP to .NET Developers]]<br /> <br /> The workshop ends with a discussion on functional programming in education, science, and industry. It is led by Simon Thompson. [[TFPIE2012: Discussion]]</div>

131.174.142.55