gmane.comp.lang.ml.mlton.user archive

365 archived articles, newest first (page 1 of 4). Latest articles →

[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
Re: Why does MLton depend on GCC?
Wed, 30 Jan 2019 10:38:55 -0500
Matthew Fluet <[email protected]> • #1923
Why does MLton depend on GCC?
Wed, 30 Jan 2019 17:57:41 +0530
Mayuresh Kathe <[email protected]> • #1922
Second Call for Papers: PACMPL issue ICFP 2019
Wed, 09 Jan 2019 20:50:50 -0500
"'Sam Tobin-Hochstadt' via MLton-user" <[email protected]> • #1921
Re: Socket.select as interrupted system call
Wed, 12 Dec 2018 09:06:29 +0200
Kostirya <[email protected]> • #1920
Re: Socket.select as interrupted system call
Tue, 11 Dec 2018 10:07:38 -0500
Matthew Fluet <[email protected]> • #1919
Socket.select as interrupted system call
Tue, 11 Dec 2018 14:19:49 +0200
Kostirya <[email protected]> • #1918
Re: Alarm signal and recv system call
Fri, 16 Nov 2018 10:12:27 +0200
Kostirya <[email protected]> • #1917
Re: Alarm signal and recv system call
Thu, 15 Nov 2018 21:14:07 -0500
Matthew Fluet <[email protected]> • #1916
Re: Alarm signal and recv system call
Thu, 15 Nov 2018 17:42:31 -0600
Henry Cejtin <[email protected]> • #1915
Re: Alarm signal and recv system call
Thu, 15 Nov 2018 16:57:32 -0500
Matthew Fluet <[email protected]> • #1914
Re: Alarm signal and recv system call
Thu, 15 Nov 2018 10:02:21 -0600
Henry Cejtin <[email protected]> • #1913
Alarm signal and recv system call
Thu, 15 Nov 2018 13:53:27 +0200
Kostirya <[email protected]> • #1912
First Call for Papers: PACMPL issue ICFP 2019
Thu, 08 Nov 2018 21:45:06 -0500
"'Sam Tobin-Hochstadt' via MLton-user" <[email protected]> • #1911
Re: Failing to get FXP to work in mlton
Thu, 1 Nov 2018 10:10:02 +0000
<[email protected]> • #1910
Re: Failing to get FXP to work in mlton
Tue, 30 Oct 2018 21:14:18 -0400
Matthew Fluet <[email protected]> • #1909
Re: Failing to get FXP to work in mlton
Tue, 30 Oct 2018 11:13:23 +0000
<[email protected]> • #1908
Re: Failing to get FXP to work in mlton
Tue, 30 Oct 2018 06:30:28 -0400
Matthew Fluet <[email protected]> • #1907
Call For Workshop Proposals
Mon, 29 Oct 2018 21:56:20 -0400
"'Sam Tobin-Hochstadt' via MLton-user" <[email protected]> • #1906
Re: Failing to get FXP to work in mlton
Tue, 30 Oct 2018 09:44:43 +0000
Chris Cannam <[email protected]> • #1905
Re: Failing to get FXP to work in mlton
Mon, 29 Oct 2018 22:58:28 +0000
<[email protected]> • #1904
Re: Failing to get FXP to work in mlton
Mon, 29 Oct 2018 15:47:08 +0000
Chris Cannam <[email protected]> • #1903
Failing to get FXP to work in mlton
Mon, 29 Oct 2018 06:45:55 +0000
<[email protected]> • #1902
Re: FFI with C structs
Fri, 5 Oct 2018 13:50:55 +0100
Domagoj Stolfa <[email protected]> • #1901
Re: FFI with C structs
Thu, 4 Oct 2018 22:34:47 -0400
Matthew Fluet <[email protected]> • #1900
FFI with C structs
Wed, 3 Oct 2018 20:23:01 +0100
Domagoj Stolfa <[email protected]> • #1899
Re: Documentation?
Thu, 20 Sep 2018 17:04:40 +0200
Jean-Luc Delatre <[email protected]> • #1898
Re: Documentation?
Wed, 19 Sep 2018 15:45:13 -0400
Matthew Fluet <[email protected]> • #1897
Documentation?
Wed, 19 Sep 2018 18:54:09 +0200
Jean-Luc Delatre <[email protected]> • #1896
First Call for Participation for IFL 2018 (Implementation and Application of Functional Languages)
Tue, 14 Aug 2018 03:58:41 -0400
Jurriaan Hage <[email protected]> • #1895
Call for Participation: ICFP 2018
Tue, 07 Aug 2018 11:15:02 -0700
"'Lindsey Kuper' via MLton-user" <[email protected]> • #1894
PPDP | LOPSTR | WFLP 2018 Common Call for Participation
Mon, 6 Aug 2018 16:56:42 +0200
David Sabel <[email protected]> • #1893
LAST CALL for draft papers for presentation at IFL 2018 (deadline this week)
Thu, 12 Jul 2018 05:25:54 -0700
Jurriaan Hage <[email protected]> • #1892
PPDP 2018: Call for Participation
Fri, 6 Jul 2018 17:25:18 +0200
David Sabel <[email protected]> • #1891
Call for draft papers for presentation at IFL 2018 (Implementation and Application of Functional Languages)
Fri, 15 Jun 2018 04:45:13 -0400
Jurriaan Hage <[email protected]> • #1890
LOPSTR 2018: Second Round Final Call for Papers
Mon, 11 Jun 2018 14:41:05 +0400
Fred Mesnard <[email protected]> • #1889
WST 2018 - Call for Participation (July 18-19, 2018)
Mon, 4 Jun 2018 10:02:22 +0200
Salvador Lucas <[email protected]> • #1888
LOPSTR 2018: Second Round Call for Papers
Mon, 21 May 2018 15:23:51 +0400
Fred Mesnard <[email protected]> • #1887
Second round call for papers: LOPSTR 2018
Wed, 2 May 2018 00:57:03 +0000
Peter James Stuckey <[email protected]> • #1886
3rd CfP: IFL 2018 (30th Symposium on Implementation and Application of Functional Languages)
Mon, 30 Apr 2018 22:26:56 -0700
Jurriaan Hage <[email protected]> • #1885
final call for papers: Trends in Functional Programming, 11-13 june 2018, Chalmers Campus Johanneberg, Gothenburg - deadline extended -
Mon, 30 Apr 2018 11:37:15 +0200
Peter Achten <[email protected]> • #1884
WST 2018 - Last Call for Papers (deadline: April 30, 2018)
Wed, 25 Apr 2018 10:15:29 +0200
Salvador Lucas <[email protected]> • #1883
PPDP 2018: Deadline Extension!
Tue, 24 Apr 2018 15:35:11 +0200
David Sabel <[email protected]> • #1882
Deadline extension: HCVS'18 - 5th Workshop on Horn Clauses for Verification and Synthesis
Mon, 16 Apr 2018 09:39:42 +0200
German Vidal <[email protected]> • #1881
2nd call for papers: Trends in Functional Programming, 11-13 june 2018, Chalmers Campus Johanneberg, Gothenburg
Mon, 16 Apr 2018 15:08:18 +0200
Peter Achten <[email protected]> • #1880
WST 2018 - Call for Papers (extended deadline: April 30, 2018)
Sat, 14 Apr 2018 09:16:56 +0200
Salvador Lucas <[email protected]> • #1879
TFPIE 2018: First Call for Papers
Sun, 8 Apr 2018 18:50:46 -0400
Heather Miller <[email protected]> • #1878
CALL FOR PARTICIPATION. FLOPS 2018: 14th International Symposium on Functional and Logic Programming
Fri, 6 Apr 2018 14:43:41 +0000
John Patrick Gallagher <[email protected]> • #1877
PPDP 2018: Second Call for Papers
Thu, 5 Apr 2018 09:03:59 +0200
David Sabel <[email protected]> • #1876
Final CFP: 5th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2018, affiliated with ICLP at FLoC 2018)
Wed, 4 Apr 2018 09:44:23 +0200
German Vidal <[email protected]> • #1875
WST 2018 - 2nd Call for Papers (submission: April 15, 2018)
Tue, 3 Apr 2018 09:02:38 +0200
Salvador Lucas <[email protected]> • #1874
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.