gmane.comp.lang.ml.mlton.user

1970 articles on record, showing the most recent 50.

[TFP'20] call for participation: Trends in Functional Programming 2020, 13-14 February, Krakow, Poland
Tue, 14 Jan 2020 16:47:14 +0100
Peter Achten <[email protected]> • #1973
[TFP'20] draft paper deadline open (January 10 2020) Trends in Functional Programming 2020, 13-14 February, Krakow, Poland
Tue, 7 Jan 2020 09:30:48 +0100
Peter Achten <[email protected]> • #1972
WST 2020 Call for Papers
Wed, 1 Jan 2020 10:30:27 +0100
Samir Genaim <[email protected]> • #1971
Re: Evaluating functor application only once
Sun, 22 Dec 2019 01:39:22 +0000
"'Phil Clayton' via MLton-user" <[email protected]> • #1970
Re: Evaluating functor application only once
Sat, 21 Dec 2019 16:02:31 -0500
Matthew Fluet <[email protected]> • #1969
Re: Evaluating functor application only once
Sat, 21 Dec 2019 18:01:43 +0000
Phil Clayton via MLton-user <[email protected]> • #1968
Third call for draft papers for TFPIE 2020 (Trends in Functional Programming in Education)
Fri, 20 Dec 2019 05:52:39 -0800
Jurriaan Hage <[email protected]> • #1967
[TFP'20] draft paper deadline open (January 10 2020) Trends in Functional Programming 2020, 13-14 February, Krakow, Poland
Tue, 26 Nov 2019 10:31:00 +0100
Peter Achten <[email protected]> • #1966
Second call for draft papers for TFPIE 2020 (Trends in Functional Programming in Education)
Thu, 14 Nov 2019 00:15:38 -0800
Jurriaan Hage <[email protected]> • #1965
Call for Workshop Proposals: ICFP 2020
Wed, 30 Oct 2019 09:49:29 -0400
"'Sam Tobin-Hochstadt' via MLton-user" <[email protected]> • #1964
Re: ARM and Real
Tue, 29 Oct 2019 11:33:02 -0400
Matthew Fluet <[email protected]> • #1963
Re: ARM and Real
Mon, 28 Oct 2019 16:31:13 +0200
Kostirya <[email protected]> • #1962
ARM and Real
Mon, 28 Oct 2019 16:24:51 +0200
Kostirya <[email protected]> • #1961
[TFP'20] one month left for pre-symposium submissions for Trends in Functional Programming 2020, 13-14 February, Krakow, Poland
Fri, 11 Oct 2019 14:39:26 +0200
Peter Achten <[email protected]> • #1960
First call for draft papers for TFPIE 2020 (Trends in Functional Programming in Education)
Wed, 28 Aug 2019 08:21:28 -0700
Jurriaan Hage <[email protected]> • #1959
Re: Non-blocking IO in MLton
Tue, 27 Aug 2019 08:45:43 +0300
Kostirya <[email protected]> • #1958
First call for participation for IFL 2019 (Implementation and Application of Functional Languages)
Mon, 26 Aug 2019 07:28:32 -0700
Jurriaan Hage <[email protected]> • #1957
Non-blocking IO in MLton
Mon, 26 Aug 2019 11:56:19 +0530
Vijay Mathew <[email protected]> • #1956
[TFP'20] first call for papers: Trends in Functional Programming 2020, 13-14 February, Krakow, Poland
Thu, 15 Aug 2019 13:25:41 +0200
Peter Achten <[email protected]> • #1955
Final call for draft papers for IFL 2019 (Implementation and Application of Functional Languages)
Fri, 26 Jul 2019 03:58:59 -0700
Jurriaan Hage <[email protected]> • #1954
Second Call for Participation: ICFP 2019
Wed, 17 Jul 2019 14:53:28 -0400
"'Sam Tobin-Hochstadt' via MLton-user" <[email protected]> • #1953
Call for Participation: ICFP 2019
Mon, 24 Jun 2019 17:13:28 -0400
"'Sam Tobin-Hochstadt' via MLton-user" <[email protected]> • #1952
Final call for regular papers for IFL 2019 (Implementation and Application of Functional Languages)
Fri, 7 Jun 2019 02:12:13 -0700
Jurriaan Hage <[email protected]> • #1951
Second Call for Submissions: ICFP Student Research Competition
Mon, 03 Jun 2019 12:03:59 -0400
"'Sam Tobin-Hochstadt' via MLton-user" <[email protected]> • #1950
Call for papers for IFL 2019 (Implementation and Application of Functional Languages)
Mon, 27 May 2019 02:02:03 -0700
Jurriaan Hage <[email protected]> • #1949
LOPSTR 2019: Call for Papers
Fri, 24 May 2019 16:50:01 +0000
Tong Liu <[email protected]> • #1948
[email protected]
Tue, 21 May 2019 17:27:09 +0200
Peter Achten <[email protected]> • #1947
Second Call for Tutorial Proposals: ICFP 2019
Mon, 20 May 2019 17:25:21 -0400
"'Sam Tobin-Hochstadt' via MLton-user" <[email protected]> • #1946
[TFPIE'19] Final call for papers: Trends in Functional Programming in Education 2019, 11 June 2019, Vancouver, BC, CA
Wed, 8 May 2019 10:01:31 +0200
Peter Achten <[email protected]> • #1945
[TFP'19] final call for papers (deadline extension): Trends in Functional Programming 2019, 12-14 June 2019, Vancouver, BC, CA
Wed, 8 May 2019 09:31:25 +0200
Peter Achten <[email protected]> • #1944
PLMW at ICFP: Call for Scholarship Applications (due 17 May)
Tue, 07 May 2019 17:03:39 -0400
"'Sam Tobin-Hochstadt' via MLton-user" <[email protected]> • #1943
Berkeley DB binding for Standard ML
Fri, 3 May 2019 10:11:56 +0300
Kostirya <[email protected]> • #1942
Re: No https on mlton.org?
Mon, 29 Apr 2019 05:32:19 -0400
Matthew Fluet <[email protected]> • #1941
No https on mlton.org?
Sat, 27 Apr 2019 09:08:52 -0500
Henry Cejtin <[email protected]> • #1940
ML Family Workshop 2019: Call for presentations
Tue, 23 Apr 2019 08:43:20 -0400
Matthew Fluet <[email protected]> • #1939
Re: Evaluating functor application only once
Thu, 4 Apr 2019 06:15:51 -0400
Matthew Fluet <[email protected]> • #1938
Evaluating functor application only once
Thu, 4 Apr 2019 07:53:29 +0100
Phil Clayton <[email protected]> • #1937
Call for Tutorial Proposals: ICFP 2019
Wed, 27 Mar 2019 22:45:34 -0400
"'Sam Tobin-Hochstadt' via MLton-user" <[email protected]> • #1936
[TFPIE'19] Call for papers: Trends in Functional Programming in Education 2019, 11 June 2019, Vancouver, BC, CA
Wed, 27 Mar 2019 09:49:37 +0100
Peter Achten <[email protected]> • #1935
[TFP'19] second call for papers: Trends in Functional Programming 2019, 12-14 June 2019, Vancouver, BC, CA
Fri, 15 Mar 2019 13:17:00 +0100
Peter Achten <[email protected]> • #1934
Third Call for Papers: PACMPL issue ICFP 2019
Wed, 13 Feb 2019 13:15:08 -0500
"'Sam Tobin-Hochstadt' via MLton-user" <[email protected]> • #1933
Call for Submissions: ICFP Student Research Competition
Wed, 13 Feb 2019 13:29:29 -0500
"'Sam Tobin-Hochstadt' via MLton-user" <[email protected]> • #1932
Ninth Summer School on Formal Techniques, Atherton, California, May 18-24, 2019
Mon, 11 Feb 2019 23:36:15 -0800
Natarajan Shankar <[email protected]> • #1931
[TFP'19] first call for papers: Trends in Functional Programming 2019, 12-14 June 2019, Vancouver, BC, CA (corrected dates and instructions)
Fri, 8 Feb 2019 09:39:52 +0100
Peter Achten <[email protected]> • #1930
Re: functional IO in a SHA1 implementation
Wed, 6 Feb 2019 21:45:19 -0600
Henry Cejtin <[email protected]> • #1929
Re: functional IO in a SHA1 implementation
Wed, 6 Feb 2019 22:04:43 +0000
<[email protected]> • #1928
Re: functional IO in a SHA1 implementation
Wed, 6 Feb 2019 10:59:06 -0500
Matthew Fluet <[email protected]> • #1927
Re: functional IO in a SHA1 implementation
Wed, 6 Feb 2019 08:27:43 -0600
John Reppy <[email protected]> • #1926
functional IO in a SHA1 implementation
Wed, 6 Feb 2019 00:39:09 +0000
<[email protected]> • #1925
[TFP'19] first call for papers: Trends in Functional Programming 2019, 12-14 June 2019, Vancouver, BC, CA
Tue, 5 Feb 2019 11:13:06 +0100
Peter Achten <[email protected]> • #1924