That’s the title of my presentation at Dog Food Conference 2014, 29-30 September, in Columbus, Ohio. If you found my post on "Test-Only Development" with the Z3 Theorem Prover was interesting, then you’ll love this. What if simply writing "unit tests" was[...]

That’s the title of the presentation I’ll be giving at CloudDevelop 2014, on October 17th, in Columbus, Ohio. If you read my blog at all then you’re probably interested in where software development will be headed five years in the future. Two things I re[...]

Tech Mesh - The Alternative Programming Conference is designed to support and promote useful non-mainstream technologies in the software industry and dedicated to users and inventors of various languages and technologies. By offering a networking platform[...]

The annual CUFP workshop is a place where people can see how others are using functional programming to solve real world problems; where practitioners meet and collaborate; where language designers and users can share ideas about the future of their favor[...]

Interested in presenting at a conference on functional programming? Want to reach out to a potentially huge audience? Don’t mind the feeling of speaking alone to a webcam? Then Functional.net is for you! Please check it out and submit a talk. This is all [...]

Functional programming languages have been a hot topic of academic research for over 35 years, and have seen an ever larger practical impact in settings ranging from tech startups to financial firms to biomedical research labs. At the same time, a vigorou[...]

There is still time to submit your F# talk/presentation/report/demo proposal to ML 2010, co-located with ICFP in Baltimore, MD, USA!

Functional programming languages have been a hot topic of academic research for over 35 years, and are rapidly being adopted in diverse real-world settings ranging from from tech startups to financial and biomedical firms. A vigorous community of pract[...]

ML is a family of programming languages that includes dialects known as Standard ML, Objective Caml, and F#. The development of these languages has inspired a large amount of computer science research, both practical and theoretical. This workshop aims to[...]