align-toparrow-leftarrow-rightbackbellblockcalendarcamerachatcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-crosscrosseditfacebookglobegoogleimagesinstagramlocation-pinmagnifying-glassmailmoremuplabelShape 3 + Rectangle 1outlookpersonplusImported LayersImported LayersImported Layersshieldstartwitteryahoo


Name/Description Type Size Uploaded By Uploaded On

Fstar Dependent types effects and the future of functional progr

Fstar Dependent types effects and the future of functional programming

Adobe Acrobat file 3.9M Ramón Soto M. Apr 27, 2016


Verified protocol implementations in F*

Adobe Acrobat file 1.5M Ramón Soto M. Apr 27, 2016

MFK - Delegate Showcase Fsharp Codebase

MFK - Delegate Showcase F# Codebase

Adobe Acrobat file 652K Ramón Soto M. Mar 30, 2016


FSharp at PFA Pension.pdf

Adobe Acrobat file 455K Ramón Soto M. Jan 20, 2016


Source code to slides from zippers talk

a .rkt file 35K David C. Dec 15, 2015


PDF slides from zippers talk

Adobe Acrobat file 7.5M David C. Dec 15, 2015

MFK - Delegate.Sandbox - IO side-effects safe computations in Fs


Adobe Acrobat file 807K Ramón Soto M. Sep 30, 2015


2014-09-23 - DescribedTypes - Code

a .agda file 3K Ramón Soto M. Sep 29, 2014


2014-09-23 - DescribedTypes - Slides

Adobe Acrobat file 294K Ramón Soto M. Sep 29, 2014

Why Haskell-

A quickly thrown together slideshow for the "Why Haskell" talk/discussion at the regular meetup 26th of August 2014. Probably won't make much sense if you didn't attend the meetup.

Adobe Acrobat file 151K Joakim A. Aug 26, 2014


Don Syme: Succeeding with Functional-First Programming in Industry

Adobe Acrobat file 2.4M Rolf Veinø S. May 23, 2014


Introductory Course F# @ Skillshouse 2014-05-19 - slides - Introductory Course in F# - by Ramón Soto Mathiesen

Adobe Acrobat file 709K Ramón Soto M. May 19, 2014


Paper: A Theory-Based Introductory Programming Course --Michael R. Hansen, Jens Thyge Kristensen and Hans Rischel (DTU)

Adobe Acrobat file 119K Ramón Soto M. Apr 30, 2014


Seminar @ Skillshouse 2014-02-27 - slides - FREE F# SEMINAR FOR DEVELOPERS - by Ramón Soto Mathiesen

Adobe Acrobat file 904K Ramón Soto M. Mar 2, 2014


1st meeting - slides - Intro to F# and DAXIF# - by Ramón Soto Mathiesen

Adobe Acrobat file 650K Ramón Soto M. Nov 20, 2013

JSON in Scala

1st meeting - slides - JSON in Scala - by Joakim Ahnfelt-Rønne

Adobe Acrobat file 355K Joakim A. Nov 20, 2013

While has scanned these files for viruses, we recommend that you have up-to-date virus-scanning software on your own computer as well.

Our Sponsors

People in this
Meetup are also in:

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy