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

Files

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

fstar-crypto

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_Pensio­n

FSharp at PFA Pension.pdf

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

slides

Source code to slides from zippers talk

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

slides

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

IOsideEffectsSafeFsh­arp

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

DescribedTypes

2014-09-23 - DescribedTypes - Code

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

DescribedTypes

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

fp-success-v4-given

Don Syme: Succeeding with Functional-First Programming in Industry

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

MFK-IntroductoryCour­seFSharp

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

FIE97

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

MFK - FREE F-SHARP SEMINAR FOR DEVELOPERS

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

Ramones_F#_and_DAXIF­#_MF#K2013

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 Meetup.com 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