|
5 Nov 2018, 11:50
|
Ed Lambda created 15.11.2018 - Divide, conquer, choose, ap and alt... et Empera
|
|
11 Sept 2018, 01:51
|
Ed Lambda created 09.10.2018 - Elm: Taming the Wild West Web using Functional Programming, Rupert Smith
|
|
20 Aug 2018, 10:27
|
Ed Lambda created 11.09.2018 - From WebAssembly to Native Code via the OCaml Backend
|
|
10 Jul 2017, 08:17
|
Ed Lambda edited About
|
|
10 Jul 2017, 08:16
|
Ed Lambda edited About
|
|
4 Jul 2017, 08:55
|
Ed Lambda created 11.07.2017 - F# for Profit and Fun
|
|
1 May 2017, 02:38
|
Ed Lambda created 09.05.2017 - Type-driven Development with Idris
|
|
22 Jan 2016, 03:01
|
Ed Lambda edited 09.02.2016 - Developing a Haskell MOOC
|
|
22 Jan 2016, 03:01
|
Ed Lambda edited 09.02.2016 - Developing a Haskell MOOC
|
|
22 Jan 2016, 02:46
|
Ed Lambda created 09.02.2016 - Developing a Haskell MOOC
|
|
28 Oct 2015, 02:22
|
Ed Lambda created 12.11.2015 - Overloaded record fields for Haskell
|
|
28 Sept 2015, 11:27
|
Ed Lambda edited 13.10.2015 - optimising & scaling parallel Haskell
|
|
28 Sept 2015, 11:26
|
Ed Lambda created 13.10.2015 - optimising & scaling parallel Haskell
|
|
28 Jun 2015, 12:10
|
Ed Lambda edited 14.07.2015 - Erlang meets Dependent Types
|
|
28 Jun 2015, 12:09
|
Ed Lambda created 14.07.2015 - Erlang meets Dependent Types
|
|
10 Mar 2015, 04:40
|
Ed Lambda created 24.03.2015 - Vectorising the array-based SaC language
|
|
20 Jan 2015, 09:39
|
Ed Lambda created 10.02.2015 - Web programming with F#
|
|
18 Nov 2014, 02:19
|
Ed Lambda edited 26.11.2014 - Scalable Erlang and Functional Java 8
|
|
16 Nov 2014, 14:13
|
Ed Lambda created 26.11.2014 - Scalable Erlang and Functional Java 8
|
|
3 Oct 2014, 09:25
|
Ed Lambda created 30.10.2014: Jeremy Singer "Optimizing non-Java JVM languages"
|
|
17 Jun 2014, 03:24
|
Ed Lambda created 17.06.2014: Sam Lindley "Handlers in Action"
|
|
11 May 2014, 15:48
|
Ed Lambda created 13.05.2014: two short talks on Rust and session typed RTSs
|
|
1 Apr 2014, 18:15
|
Ed Lambda created April meetup: 08.04.2014
|
|
1 Mar 2014, 03:09
|
Ed Lambda created March meetup - 11.03.2014
|
|
7 Jan 2014, 07:09
|
Ed Lambda edited January meetup: 14.01.2014
|
|
|
