


default search action
4th/5th TFPIE@TFP 2015/2016: Sophia-Antipolis, France / College Park, MD, USA
- Johan Jeuring, Jay McCarthy:

Proceedings of the 4th and 5th International Workshop on Trends in Functional Programming in Education, TFPIE 2016, Sophia-Antipolis, France, and University of Maryland, College Park, MD, USA, June 2, 2015, and June 7, 2016. EPTCS 230, 2016 - Cezar Ionescu, Patrik Jansson

:
Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis Using Functional Programming. 1-15 - Jaap Boender, Edward Currie, Martin J. Loomes

, Giuseppe Primiero
, Franco Raimondi
:
Teaching Functional Patterns through Robotic Applications. 17-29 - Scott N. Walck:

Learn Quantum Mechanics with Haskell. 31-46 - Victor L. Winter, Betty Love, Cindy Corritore:

The Bricklayer Ecosystem - Art, Math, and Code. 47-61 - Prabhakar Ragde:

Proust: A Nano Proof Assistant. 63-75

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














