Websites using functional programming languages as a keyword

I am a Lecturer in Computer Science at the University of St Andrews, interested in type theory, dependently typed functional programming, compilers and domain specific languages (DSLs). I am currently working on the implementation of DSLs for stateful, resource-aware programming, especially for correct network protocol design and implementation, using Idris, a dependently typed functional programming…

We distribute ideas of how to rapidly evolve industrial grade software with superb runtime performance, while working all the time with a functional code. In this truly agile programming environment, pointer/reference errors in your code are completely eliminated, both in C++ and in Java.

Inspiring Developers since 2008. NDC conferences are found across the globe with large 5-day conferences in Oslo, London and Sydney and smaller pop-up conference in cities all over the world. NDC is software developers conferences covering .NET, Agile, C++, Cloud, Database, Design, Devops, Embedded, Front-End Framework, Fun, Functional Programming, Gadgets, IoT, JavaScript, Microsoft, Mobile, People, Programming Languages, Security, Testing and so much more ...

Researcher in Functional Programming, Domain Specific Languages and GPU programming. FPGA and electronics happy amatuer

Alexis King's Blog

14-18 August 2017. Inspiring Developers since 2008. A Software Developers Conference covering .NET, Agile, C++, Cloud, Database, Design, Devops, Embedded, Front-End Framework, Fun, Functional Programming, Gadgets, IoT, JavaScript, Microsoft, Mobile, People, Programming Languages, Security, Testing and so much more ...

An exercise-driven Haskell book for beginners that works for non-programmers and experienced hackers alike.

A blog about functional programming, reactive programming, web development, software development, programming languages, compiler design and entrepreneur topics

In this post I interpret design patterns and principles commonplace in object-oriented programming languages from the perspective of functional …

15-19 January 2018, London, UK. - Inspiring Developers since 2008. A Software Developers Conference covering .NET, Agile, C++, Cloud, Database, Design, Devops, Embedded, Front-End Framework, Fun, Functional Programming, Gadgets, IoT, JavaScript, Microsoft, Mobile, People, Programming Languages, Security, Testing and so much more ...

A collection of articles on software development written by Thomas Guest.

7-10 May 2018 - Inspiring Developers since 2008. A Software Developers Conference covering .NET, Agile, C++, Cloud, Database, Design, Devops, Embedded, Front-End Framework, Fun, Functional Programming, Gadgets, IoT, JavaScript, Microsoft, Mobile, People, Programming Languages, Security, Testing and so much more ...

Unpythonic is a rambling journey throughout the edges of sanity, at least the sanity defined by its creator and his guiding philosophy. Here, you will learn how to abuse techniques from less sensible, more interesting languages, and perhaps learn a bit about yourself on the way.

- A site where developers share side-projects, news articles, and anything that correlates with computing.

The Journal of the British APL Association. The BAA promotes the APLs, terse programming languages derived from Iverson’s mathematical notation.

The continued diary of an experienced C++ programmer. Thoughts on C++ and other languages I play with, Emacs, functional, non functional and sometimes non-functioning programming.

A job board for functional programming languages. It's the best way to reach the largest audience of high-calibre functional programming candidates.

Milan Italy the master in Bioinformatics and Functional Genomics teaches advance bioinformatics in real research on cancer. Students will master Next generation sequencing, Biotechnology, Computer Science, Statistics, and Mathematics (Data Science).

Musings on functional programming and programming languages.

The conference provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries.

A manual for happy Haskelling.

We do R&D creating Models and Software. We use OO, Logical & Functional Programming languages and tools: .Net, Java, C#, Delphi, F#, Haskell, C++, R, Python, JS.