https://wiki.tfpie.science.ru.nl/api.php?action=feedcontributions&user=Ben+Polman&feedformat=atomtfpie - User contributions [en]2024-03-29T06:09:03ZUser contributionsMediaWiki 1.35.5https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2012&diff=158TFPIE20122014-05-26T12:59:16Z<p>Ben Polman: </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]]<br />
<br />
== EPTCS Proceedings ==<br />
After the workshop all authors have been invited to submit a formal paper for the post-workshop formal proceedings. This has resulted in accepting the below mentioned papers.<br />
These formal proceedings have been published by EPTCS volume 106.<br />
You can find [http://rvg.web.cse.unsw.edu.au/eptcs/content.cgi?TFPIE2012 the formal TFPIE 2012 proceedings].<br />
Alternatively, [http://arxiv.org/abs/1301.4650 you can follow this link to arXiv.org]. <br />
<br />
# How Computers Work: Computational Thinking for Everyone (Rex Page, Ruben Gamboa)<br />
# Connecting the Dots: Computer Systems Education using a Functional Hardware Description Language (John O'Donnell)<br />
# Mathematics Is Imprecise (Prabhakar Ragde)<br />
# Forty hours of declarative programming -- Teaching Prolog at the Junior College Utrecht (Jurriën Stutterheim, Wouter Swierstra, and Doaitse Swierstra)</div>Ben Polmanhttps://wiki.tfpie.science.ru.nl/index.php?title=Main_Page&diff=115Main Page2012-07-24T02:06:22Z<p>Ben Polman: /* TFPIE */</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. The TFPIE wiki is a portal to find material on the subject of Functional Programming in an educational setting. It has been created on the occasion of the first International Workshop on Trends in Functional Programming In Education that was held at the University of St. Andrews, Scotland, on june 11th 2012. The link is below.<br />
<br />
* [[TFPIE2012]]<br />
<br />
During this workshop, a group of enthusiastic functional programmers expressed their willingness to contribute further to this wiki. We are currently exploring how to structure this wiki, its policies, and initial content. A brainstorm lunch-meeting was held during the subsequent Trends in Functional Programming Symposium. A brief report on this brainstorm meeting can be found below. <br />
<br />
* [[TFPIEwiki]]<br />
Frequently, Zazzle [http://www.fmcoupons.com wienerschnitzel coupons chili cheese fries] are constructed for solutions for example iphone cases, or fit a particular calendar event like Men Evening or Halloween parties year. By keeping an eye on offered coupons, you are able to manage specific offers on your keep that be connected alongside one another the available reductions having a specific variety of merchandise or graphics. One example is, you could possibly publicise the (now ran out) coupon InchesEarningIn . plus a selection of Charlie Sheen associated products! This can be ideal for marketing and advertising and creating a reliable, dependable storefront. Bear in mind centering on a certain theme is among the essential regulations of reliable promoting. [http://wiki.answers.com/Q/What_is_the_stock_market_symbol_for_the_restaurant_Chili&amp;amp;amp;amp;amp;amp;amp;amp;#39;s http://wiki.answers.com/Q/What_is_the_stock_market_symbol_for_the_restaurant_Chili&amp;amp;amp;amp;amp;amp;amp;amp;#39;s]<br />
An added bonus to working with this web site is really because revise their results on a regular basis. Additionally they different the [http://www.free-meal-coupons.net discover more information] that are expiring rapidly from those which do not have an certain cessation day. Basically what you really are getting is accessibility coupon codes for such retailers. You'll find, nonetheless, some coupons you can actually impress and decide to try an outlet. Additionally they aspect coupons for specific manufacturers which you can use likewise. [http://jobsearch.money.cnn.com/a/all-jobs/list/q-Shift+Managers/l-Delafield,+WI/c-Boston+Market relevant page]<br />
Viagra is remarkable. It could possibly impress youthful vigor and strength in a person of 58. Its strenght offers pain relief towards ladies with male impotence in making their sex lifestyle a smooth and enjoyable 1. That is simply about is that it can help you eliminate off of male impotence with lowest unwanted effects. Positive results of Viagra have made the aged men folk sexually active. Because of this sudden modify, their partners and girlfriends or wives have become insecure each day. [http://www.amazon.com/Herbal-kamagra/dp/B0044VDPJO test this web page]<br />
There are more than 2 millions individuals suffer from this on a yearly basis, most are under fifteen years aged, so knowing the symptoms is critical thing especially for the oldsters. In this article are some of the principal symptoms becoming caused by mycoplasma pneumonia, the walking [symptoms of pneumonia help pneumonia symptoms in puppies] malware. [http://answers.yahoo.com/question/index?qid=20090510083201AAQsK0g look for much more information]<br />
To take care of newborns is often a hard task for mothers and fathers which obstacle is not just about both mental and physical obstacles but they also have to handle economic challenges. The easiest method to be saved money in these scenarios would be to have diaper coupons. [http://www.coupons-baby.net/ coupons baby] baby diapers along with other products manufactured because of it are famed across the world and is readily available in merchandise merchants along with little one linked stores. There are several conserving options to take advantage of when buying Huggies diapers. By signing up for the Huggies email list about the Huggies official web pages, you may acquire coupons and make use of the savings provided for you thru your mail. [http://wiki.answers.com/Q/How_much_is_the_cost_of_huggies http://wiki.answers.com/Q/How_much_is_the_cost_of_huggies]<br />
Great thing there are several print out stores nowadays that provide coupons. On the net producing stores such as Impress Location offer useful Printplace [http://www.tinycoupon.net applebees coupons] that prove to be good for all kinds of organizations. These can be located on their website maybe in coupon web sites. Some on the internet print outlets even print their coupons in classifieds and journals to increase their setting. All you want to do if obtain them, cut them or print out them so you can use them for your future obtain. [http://gift-certificates.shop.sandbox.ebay.com/Gift-Cards-/172009/i.html?_nkw=applebees+gift+card http://gift-certificates.shop.sandbox.ebay.com/Gift-Cards-/172009/i.html?_nkw=applebees+gift+card]<br />
You will understand coming from a rehearsing chiropractic doctor with 27 decades experience which food are classified as the leading for you! How might you know which [http://www.toppaleorecipes.com paleo diet smoothie recipes] to follow along with if there are lots of meal plans out there?? Go through the pages on this website even as take you through a radical visit in the unique popular diet programs. Look at diet reviews of many of the most preferred diet programs for instance Atkins, Perricone, South Beachfront, Macrobiotic, Fresh Food, Alkaline Diet, and so forth. Learn tips and natural home remedies to assist our bodies to cure. Fresh fruits, what is remedies first off human being is definitely a toxic for another. Of these internet pages comprehend the simplest way to decide which eating habits are the very best for you personally, and which change in lifestyle to use to have your perfect health always. [http://www.bizrate.com/vitamins-nutrition/children/diet-shakes/256143-1035/640141-295995/buy www.bizrate.com]<br />
Have a look at eBay - Also, do not forget to take a look at amazon along with buy and sell internet sites. You cannot assume all those who got Advance Auto Components [http://www.jqidealforms.com/Articles.html Home] have uses of it. There are several individuals who have coupons and know some promo codes, but because they do not mean to use them, they only decide to offer it on craigs list. Needless to say, you need to fund the coupons, nevertheless, just what dollar or two which you spend can rival a 10Per-cent discount coupon, suitable? [http://home.shop.ebay.com/Bath-/20438/i.html?_nkw=bed+bath+and+beyond+gold find much more facts]<br />
All these getaway location are just some of the numerous. There are actually an infinite variety of discounts and reductions which may extremely properly be bought by employing a web coupon. For anyone who is devoted to trying to find on-collection excursion location coupons, you have numerous options. For people who already know your awaited trip vacation spot, locating on-set coupons needs to be a fairly uncomplicated method. [http://wiki.answers.com/Q/What_are_chili&#39;s_server_work_hours wiki.answers.com]</div>Ben Polman