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

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

2nd CfP: IFL 2018 (30th Symposium on Implementation and Application of Functional Languages)
Tue, 3 Apr 2018 09:11:08 +0200
Jurriaan Hage <[email protected]> • #1873
LOPSTR 2018: Second Final Call for Papers
Fri, 30 Mar 2018 11:58:01 +0400
Fred Mesnard <[email protected]> • #1872
CFP: Formal Methods for Intelligent Systems @ ISMIS 2018
Tue, 27 Mar 2018 01:06:13 +0200
Marco Roveri <[email protected]> • #1871
LOPSTR 2018 Final CFP
Mon, 19 Mar 2018 11:51:05 +0400
Fred Mesnard <[email protected]> • #1870
Call for Tutorial Proposals: ICFP 2018
Sat, 17 Mar 2018 21:08:01 -0700
"'Lindsey Kuper' via MLton-user" <[email protected]> • #1869
1st CfP: IFL 2018 (30th Symposium on Implementation and Application of Functional Languages)
Tue, 13 Mar 2018 00:48:44 -0700
Jurriaan Hage <[email protected]> • #1868
Second call for Papers: HVCS'18 - 5th Workshop on Horn Clauses for Verification and Synthesis
Mon, 12 Mar 2018 09:38:10 +0100
German Vidal <[email protected]> • #1867
Final Call for Papers: PACMPL issue ICFP 2018
Thu, 08 Mar 2018 12:09:11 -0800
"'Lindsey Kuper' via MLton-user" <[email protected]> • #1866
1st call for papers: Trends in Functional Programming, 11-13 june 2018, Chalmers Campus Johanneberg, Gothenburg
Wed, 7 Mar 2018 15:32:05 +0100
Peter Achten <[email protected]> • #1865
Eighth Summer School on Formal Techniques, Atherton, California, May 19-25, 2018
Thu, 01 Mar 2018 09:05:44 -0800
Natarajan Shankar <[email protected]> • #1864
Re: MLton 20180207 release
Tue, 20 Feb 2018 10:35:24 -0500
Matthew Fluet <[email protected]> • #1863
LOPSTR 2018 2nd CFP
Mon, 19 Feb 2018 14:51:36 +0400
Fred Mesnard <[email protected]> • #1862
Re: [MLton] MLton 20180207 release
Wed, 7 Feb 2018 14:50:01 -0500
Matthew Fluet <[email protected]> • #1861
Re: [MLton] MLton 20180207 release
Wed, 7 Feb 2018 10:39:07 -0600
Henry Cejtin <[email protected]> • #1860
MLton 20180207 release
Wed, 7 Feb 2018 10:58:24 -0500
Matthew Fluet <[email protected]> • #1859
WST 2018 - 1st Call for Papers (submission: April 15, 2018)
Mon, 5 Feb 2018 12:15:55 +0100
Salvador Lucas <[email protected]> • #1858
Second Call for Papers: PACMPL issue ICFP 2018
Sun, 04 Feb 2018 23:33:37 -0800
"'Lindsey Kuper' via MLton-user" <[email protected]> • #1857
QUATIC'2018 CFP - International Conference on the Quality of ICT [Coimbra, Portugal, 4-7 Sep., 2018]
Fri, 26 Jan 2018 01:08:02 +0000
Quatic <[email protected]> • #1856
Call for Papers: HVCS'18 - 5th Workshop on Horn Clauses for Verification and Synthesis
Wed, 24 Jan 2018 11:00:23 +0100
German Vidal <[email protected]> • #1855
DEADLINE EXTENSION - VPT-2018: 6th International Workshop on Verification and Program Transformation
Wed, 24 Jan 2018 08:44:29 +0000
John Patrick Gallagher <[email protected]> • #1854
PPDP 2018: First Call for Papers
Tue, 23 Jan 2018 14:45:53 +0100
David Sabel <[email protected]> • #1853
Re: Cross-compiling the runtime
Wed, 10 Jan 2018 07:26:36 -0800
Matthew Fluet <[email protected]> • #1852
Cross-compiling the runtime
Tue, 9 Jan 2018 23:01:47 -0500
"M. Bellaire" <[email protected]> • #1851
FINAL CALL for papers: Sixth International Workshop on Verification and Program Transformation (VPT 2018)
Mon, 8 Jan 2018 16:20:11 +0000
John Patrick Gallagher <[email protected]> • #1850
Re: ld as a functor
Fri, 29 Dec 2017 15:24:39 +0100
Florian Weimer <[email protected]> • #1849
LOPSTR 2018: First Call for Papers
Fri, 22 Dec 2017 14:41:09 +0400
Fred Mesnard <[email protected]> • #1848
Call for Papers: PACMPL issue ICFP 2018
Wed, 20 Dec 2017 23:19:50 -0800
"'Lindsey Kuper' via MLton-user" <[email protected]> • #1847
Second call for papers. VPT 2018 - Sixth International Workshop on Verification and Program Transformation
Fri, 24 Nov 2017 20:12:06 +0000
John Patrick Gallagher <[email protected]> • #1846
FINAL Call For Papers and DEADLINE EXTENSION: FLOPS 2018: 14th International Symposium on Functional and Logic Programming
Fri, 10 Nov 2017 15:36:08 +0000
John Patrick Gallagher <[email protected]> • #1845
Call for Sponsorships: ICFP 2018
Mon, 30 Oct 2017 20:15:50 -0700
"'Lindsey Kuper' via MLton-user" <[email protected]> • #1844
Call for Workshop Proposals: ICFP 2018
Thu, 26 Oct 2017 18:40:38 -0700
"'Lindsey Kuper' via MLton-user" <[email protected]> • #1843
FIRST call for papers. VPT 2018 - Sixth International Workshop on Verification and Program Transformation
Fri, 6 Oct 2017 11:40:44 +0000
John Patrick Gallagher <[email protected]> • #1842
SECOND Call For Papers: FLOPS 2018: 14th International Symposium on Functional and Logic Programming
Fri, 29 Sep 2017 10:20:51 +0000
John Patrick Gallagher <[email protected]> • #1841
PPDP and LOPSTR 2017 Call for Participation
Mon, 28 Aug 2017 11:13:27 +0200
Wim Vanhoof <[email protected]> • #1840
Re: List and String concatenation speed.
Sun, 27 Aug 2017 09:55:31 +0300
Kostirya <[email protected]> • #1839
Re: List and String concatenation speed.
Sun, 20 Aug 2017 07:42:31 -0400
Matthew Fluet <[email protected]> • #1838
mlton for openbsd x86-64 : not ready yet?
Fri, 18 Aug 2017 06:38:54 +0530
Mayuresh Kathe <[email protected]> • #1837
Call for Participation: ICFP 2017
Tue, 18 Jul 2017 14:34:08 -0700
"'Lindsey Kuper' via MLton-user" <[email protected]> • #1836
Re: using MLton on Raspberry Pi, with Raspbian
Tue, 11 Jul 2017 16:24:07 -0400
Christopher Cramer <[email protected]> • #1835
Re: using MLton on Raspberry Pi, with Raspbian
Mon, 10 Jul 2017 16:49:45 -0400
Norman Ramsey <[email protected]> • #1834
Re: using MLton on Raspberry Pi, with Raspbian
Sun, 9 Jul 2017 22:07:31 -0400
Matthew Fluet <[email protected]> • #1833
Re: using MLton on Raspberry Pi, with Raspbian
Sun, 9 Jul 2017 21:41:17 -0400
Christopher Cramer <[email protected]> • #1832
using MLton on Raspberry Pi, with Raspbian
Sat, 8 Jul 2017 13:47:07 -0400 (EDT)
[email protected] (Norman Ramsey) • #1831
FIRST Call For Papers: FLOPS 2018: 14th International Symposium on Functional and Logic Programming
Tue, 4 Jul 2017 08:51:46 +0000
John Patrick Gallagher <[email protected]> • #1830
LOPSTR 2017: 2nd Call for Papers
Fri, 2 Jun 2017 10:05:42 +0000
John Patrick Gallagher <[email protected]> • #1829
Call for participation: Trends in Functional Programming, 19-21 june 2017 AND Trends in Functional Programming in Education, 22 june 2017, University of Kent, Canterbury
Fri, 2 Jun 2017 12:19:17 +0200
Peter Achten <[email protected]> • #1828
Call for participation: Trends in Functional Programming, 19-21 june 2017, University of Kent, Canterbury
Mon, 29 May 2017 09:21:26 +0200
Peter Achten <[email protected]> • #1827
Final CFP: ML Family Workshop 2017
Sun, 28 May 2017 19:04:36 +0100
Sam Lindley <[email protected]> • #1826
Deadline extension may 15: Trends in Functional Programming, 19-21 june 2017, University of Kent, Canterbury
Mon, 8 May 2017 10:45:38 +0200
Peter Achten <[email protected]> • #1825
Second CFP: ML Family Workshop 2017
Mon, 8 May 2017 00:05:17 +0100
Sam Lindley <[email protected]> • #1824
Final call for papers: Trends in Functional Programming, 19-21 june 2017, University of Kent, Canterbury
Mon, 1 May 2017 15:57:05 +0200
Peter Achten <[email protected]> • #1823
LOPSTR 2017: 1st Call for Papers
Thu, 27 Apr 2017 17:31:11 +0000
John Patrick Gallagher <[email protected]> • #1822
Re: ld as a functor
Wed, 26 Apr 2017 10:14:06 -0400
Matthew Fluet <[email protected]> • #1821
ld as a functor
Tue, 25 Apr 2017 20:48:50 +0200
Florian Weimer <[email protected]> • #1820
Re: Inspecting the ILs
Wed, 5 Apr 2017 06:06:12 -0400
Matthew Fluet <[email protected]> • #1819
2nd call for papers: Trends in Functional Programming, 19-21 june 2017, University of Kent, Canterbury
Wed, 5 Apr 2017 09:18:05 +0200
Peter Achten <[email protected]> • #1818
Inspecting the ILs
Wed, 05 Apr 2017 02:04:16 +0000
Jake Zimmerman <[email protected]> • #1817
Re: Final Call for Papers: ICFP 2017
Fri, 17 Feb 2017 10:01:54 -0500
Matthew Fluet <[email protected]> • #1816
Re: Final Call for Papers: ICFP 2017
Thu, 16 Feb 2017 19:25:22 -0800
Ian Zimmerman <[email protected]> • #1815
Final Call for Papers: ICFP 2017
Wed, 15 Feb 2017 20:43:36 -0800
"'Lindsey Kuper' via MLton-user" <[email protected]> • #1814
1st call for papers: Trends in Functional Programming, 19-21 june 2017, University of Kent, Canterbury
Wed, 15 Feb 2017 16:19:53 +0100
Peter Achten <[email protected]> • #1813
Second Call for Papers: ICFP 2017
Tue, 31 Jan 2017 16:18:54 -0800
"'Lindsey Kuper' via MLton-user" <[email protected]> • #1812
Call for Papers: ICFP 2017
Fri, 23 Dec 2016 18:58:45 -0800
"'Lindsey Kuper' via MLton-user" <[email protected]> • #1811
Re: Keep MLton from being kicked out of Debian?
Thu, 15 Dec 2016 00:13:01 -0800
"Wesley W. Terpstra" <[email protected]> • #1810
Re: Keep MLton from being kicked out of Debian?
Sun, 11 Dec 2016 12:24:14 -0500
Adam Chlipala <[email protected]> • #1809
Re: Keep MLton from being kicked out of Debian?
Sat, 10 Dec 2016 13:59:42 -0800
"Wesley W. Terpstra" <[email protected]> • #1808
Re: Keep MLton from being kicked out of Debian?
Sat, 10 Dec 2016 09:53:25 -0500
Adam Chlipala <[email protected]> • #1807
PADL'17 Call for Participation
Thu, 24 Nov 2016 13:38:44 +0100
Walid Taha <[email protected]> • #1806
Re: ml-ulex and mlton compatibility
Tue, 22 Nov 2016 22:11:18 -0800
Ian Zimmerman <[email protected]> • #1805
ml-ulex and mlton compatibility
Tue, 22 Nov 2016 21:16:14 +0100
Eugen Zalinescu <[email protected]> • #1804
Thank you very much
Fri, 18 Nov 2016 11:49:42 +0200
Kostirya <[email protected]> • #1803
Re: Access to Word8Array.arrayUninit
Wed, 16 Nov 2016 17:32:12 +0200
Kostirya <[email protected]> • #1802
Re: Access to Word8Array.arrayUninit
Wed, 16 Nov 2016 10:10:43 -0500
Matthew Fluet <[email protected]> • #1801
Re: Access to Word8Array.arrayUninit
Tue, 15 Nov 2016 19:44:56 +0200
Kostirya <[email protected]> • #1800
Re: Access to Word8Array.arrayUninit
Tue, 15 Nov 2016 09:39:21 +0200
Kostirya <[email protected]> • #1799
Re: Access to Word8Array.arrayUninit
Mon, 14 Nov 2016 12:23:59 -0500
Matthew Fluet <[email protected]> • #1798
Access to Word8Array.arrayUninit
Mon, 14 Nov 2016 11:13:56 +0200
Kostirya <[email protected]> • #1797
Re: Keep MLton from being kicked out of Debian?
Fri, 11 Nov 2016 22:27:13 +0100
Florian Weimer <[email protected]> • #1796
Re: Keep MLton from being kicked out of Debian?
Fri, 11 Nov 2016 13:50:20 -0600
Henry Cejtin <[email protected]> • #1795
Re: Keep MLton from being kicked out of Debian?
Fri, 11 Nov 2016 08:49:13 -1000
"Wesley W. Terpstra" <[email protected]> • #1794
Re: Keep MLton from being kicked out of Debian?
Fri, 11 Nov 2016 11:18:52 -0600
Henry Cejtin <[email protected]> • #1793
Re: Keep MLton from being kicked out of Debian?
Thu, 10 Nov 2016 22:00:57 +0100
Florian Weimer <[email protected]> • #1792
Re: Keep MLton from being kicked out of Debian?
Tue, 8 Nov 2016 11:07:49 -0800
"Wesley W. Terpstra" <[email protected]> • #1791
Re: Keep MLton from being kicked out of Debian?
Tue, 8 Nov 2016 11:05:59 -0500
Christopher Cramer <[email protected]> • #1790
Re: Keep MLton from being kicked out of Debian?
Tue, 8 Nov 2016 11:03:58 -0500
Christopher Cramer <[email protected]> • #1789
Re: Keep MLton from being kicked out of Debian?
Mon, 7 Nov 2016 19:15:17 -0800
"Wesley W. Terpstra" <[email protected]> • #1788
Re: Keep MLton from being kicked out of Debian?
Mon, 7 Nov 2016 20:05:21 -0500
Matthew Fluet <[email protected]> • #1787
Re: Keep MLton from being kicked out of Debian?
Mon, 7 Nov 2016 16:55:24 -0500
Christopher Cramer <[email protected]> • #1786
Re: Keep MLton from being kicked out of Debian?
Mon, 7 Nov 2016 16:38:44 -0500
Matthew Fluet <[email protected]> • #1785
Re: Keep MLton from being kicked out of Debian?
Mon, 7 Nov 2016 16:31:17 -0500
Christopher Cramer <[email protected]> • #1784
Re: Keep MLton from being kicked out of Debian?
Mon, 7 Nov 2016 13:14:19 -0800
Ivan Raikov <[email protected]> • #1783
Re: Keep MLton from being kicked out of Debian?
Mon, 7 Nov 2016 15:58:59 -0500
Christopher Cramer <[email protected]> • #1782
Re: Keep MLton from being kicked out of Debian?
Mon, 7 Nov 2016 12:30:46 -0800
Ian Zimmerman <[email protected]> • #1781
Re: Keep MLton from being kicked out of Debian?
Mon, 7 Nov 2016 14:24:15 -0500
Christopher Cramer <[email protected]> • #1780
First Call for Papers: VPT 2017 Fifth International Workshop on Verification and Program Transformation
Mon, 7 Nov 2016 17:13:36 +0100
Maurizio Proietti <[email protected]> • #1779
Keep MLton from being kicked out of Debian?
Mon, 7 Nov 2016 09:26:04 -0500
Adam Chlipala <[email protected]> • #1778
Call for Workshop Proposals: ICFP 2017
Mon, 31 Oct 2016 18:59:41 -0700
"'Lindsey Kuper' via MLton-user" <[email protected]> • #1777
Re: StringCvt.cs with regex matching
Tue, 18 Oct 2016 10:46:36 -0400
Thomas Logan <[email protected]> • #1776
Re: StringCvt.cs with regex matching
Tue, 18 Oct 2016 09:19:21 -0400
Matthew Fluet <[email protected]> • #1775
StringCvt.cs with regex matching
Sun, 16 Oct 2016 18:54:40 -0400
Thomas Logan <[email protected]> • #1774
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.