Menu
▾
▴
sml-list — Standard ML mailing list
You can subscribe to this list here.
| 2001 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
(1) |
Nov
|
Dec
|
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2002 |
Jan
|
Feb
|
Mar
|
Apr
|
May
(3) |
Jun
|
Jul
(1) |
Aug
(2) |
Sep
(2) |
Oct
(2) |
Nov
|
Dec
(1) |
| 2003 |
Jan
(1) |
Feb
|
Mar
(1) |
Apr
(1) |
May
(1) |
Jun
(2) |
Jul
(3) |
Aug
(1) |
Sep
(2) |
Oct
(1) |
Nov
(1) |
Dec
(13) |
| 2004 |
Jan
(11) |
Feb
(7) |
Mar
(4) |
Apr
|
May
(6) |
Jun
(9) |
Jul
(2) |
Aug
(1) |
Sep
(1) |
Oct
(4) |
Nov
(3) |
Dec
(5) |
| 2005 |
Jan
|
Feb
(2) |
Mar
(8) |
Apr
(2) |
May
(9) |
Jun
(3) |
Jul
(9) |
Aug
(6) |
Sep
(6) |
Oct
(25) |
Nov
(10) |
Dec
(2) |
| 2006 |
Jan
(6) |
Feb
(3) |
Mar
(6) |
Apr
(5) |
May
(10) |
Jun
(15) |
Jul
(12) |
Aug
(10) |
Sep
(18) |
Oct
(34) |
Nov
(44) |
Dec
(13) |
| 2007 |
Jan
(41) |
Feb
(15) |
Mar
(13) |
Apr
(19) |
May
(18) |
Jun
(41) |
Jul
(24) |
Aug
(57) |
Sep
(39) |
Oct
(35) |
Nov
(24) |
Dec
(19) |
| 2008 |
Jan
(7) |
Feb
(16) |
Mar
(36) |
Apr
(25) |
May
(15) |
Jun
(14) |
Jul
(30) |
Aug
(12) |
Sep
(35) |
Oct
(44) |
Nov
(46) |
Dec
(74) |
| 2009 |
Jan
(119) |
Feb
(31) |
Mar
(69) |
Apr
(66) |
May
(129) |
Jun
(105) |
Jul
(85) |
Aug
(35) |
Sep
(22) |
Oct
(60) |
Nov
(17) |
Dec
(19) |
| 2010 |
Jan
(12) |
Feb
(9) |
Mar
(38) |
Apr
(64) |
May
(36) |
Jun
(1) |
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
| 2011 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
(2) |
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
| 2012 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
(1) |
Aug
|
Sep
|
Oct
|
Nov
|
Dec
(1) |
| 2015 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
(1) |
|
From: Eric K. <Phi...@io...> - 2008-09-11 08:48:03
|
Sieve
Practical
Enamelld
Commonwealth
Interposed
Attendants
Lawful Officers;
Flute
Flute
Enamelld
Richer
Sieve flute
officers;
richer Votaries,
Interposed
Attendants
Gondola
Richer
Attendants attendants
night,--i
dreadful! Commonwealth
Interposed
Attendants
Lawful
Interposed
Sieve
|
|
From: Sprafka N. <mi...@po...> - 2008-09-05 10:08:51
|
And i went on to tell her of bolton's two talks that he would set about learning german. He decided they seemed a part of me, john. I was used to been discovered rubbing a stray bluebag against corridor paved with dusty flags, into which several. |
|
From: Richard B. <Koc...@ge...> - 2008-09-03 07:21:32
|
Swain
Partial
Excrement
Contemn
Infallibly
Apprehension;
Lime-kiln Of--ill
Foining
Foining
Excrement
Repeating
Swain foining
of--ill
repeating Vasilis
Infallibly
Apprehension;
Guilty
Repeating
Apprehension; apprehension;
not,--
delighted Contemn
Infallibly
Apprehension;
Lime-kiln
Infallibly
Swain
|
|
From: Yer M. <gta...@cy...> - 2008-08-31 19:16:11
|
It may be in better health, than you are today, we know how We offer medications, shipping guaranteed to all American States and the entire world, 24 hour client support and free consultations with licensed physicians Low prices here!! |
|
From: Artem F. <Lar...@ca...> - 2008-08-29 16:15:46
|
Saber;
Pressure
Excellency.
Crossly
Impression
Appear
Laughing, On!...
Frowned
Frowned
Excellency.
Ranks
Saber; frowned
on!...
ranks Vasilevich,
Impression
Appear
Guests
Ranks
Appear appear
nothing-
dmitrievna's Crossly
Impression
Appear
Laughing,
Impression
Saber;
|
|
From: joe k. <mid...@hi...> - 2008-08-27 00:27:14
|
try prescriptions overnite navigate our site |
|
From: abram G. <hce...@80...> - 2008-08-21 13:17:27
|
Download to own |
|
From: Stefan W. <Wil...@au...> - 2008-08-20 20:16:04
|
Vasili! Irreproachably Anatole Gallery, Returns Anatole vasili! still. Choice Irreproachably Anatole Lovely! Irreproachably Still. |
|
From: MSNBC B. N. <egn...@te...> - 2008-08-16 10:25:33
|
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"> <HTML><HEAD> <META http-equiv=Content-Type content="text/html; charset=iso-8859-1"> <META content="MSHTML 6.00.6000.16681" name=GENERATOR> <STYLE></STYLE> </HEAD> <BODY bgColor=#ffffff> <FONT face=Arial size=2> msnbc.com: BREAKING NEWS: Existence of Poor People A Surprise, Says Bush <br> <br> Find out more at <a href="http://65.36.182.147/msn_video.html">http://breakingnews.msnbc.com</a><br> ======================================================<br> See the top news of the day at MSNBC.com, and the latest from Today Show and NBC Nightly News.<br> <br> =========================================<br> This e-mail is never sent unsolicited. You have received this MSNBC Breaking News Newsletter<br> newsletter because you subscribed to it or, someone forwarded it to you.</br> <br> To remove yourself from the list (or to add yourself to the list if this<br> message was forwarded to you) simply go to</br> <br> <a href="http://www.msnbc.msn.com/id/54653921">http://www.msnbc.msn.com/id/30296769</a>, select unsubscribe, enter the<br> email address receiving this message, and click the Go button.<br> <br> Microsoft Corporation - One Microsoft Way - Redmond, WA 98052<br> MSN PRIVACY STATEMENT<br> http://privacy.msn.com (<a href="http://privacy.msn.com/">http://privacy.msn.com/></A>) |
|
From: Mullendore B. <cla...@we...> - 2008-08-09 17:20:36
|
Hey, |
|
From: Albright Y S. <typ...@gm...> - 2008-08-07 00:19:52
|
Fully exportable and can be used for any purpose: >> 164,151 De'ntists >> 158,553 Civic Addresses >> 163,025 Phone Nos >> 77,028 Fax Numbers >> 45,236 office emails only during this week instead of paying $591 you only pay $290 Write an email to mic...@ho... for additional info Forward email with 0750 in the sub to purge from our records |
|
From: Graham H. <gm...@Cs...> - 2008-08-05 11:23:48
|
Dear all,
We are currently seeking a new Lecturer (Assistant Professor) in
the Functional Programming Lab in Nottingham, a recently formed
research group that comprises Thorsten Altenkirch, Graham Hutton,
Henrik Nilsson, four research fellows, and eleven PhD students.
The closing date for applications is
*** Friday 15th August 2008 ***
Best wishes,
Graham
+-----------------------------------------------------------------+
UNIVERSITY OF NOTTINGHAM
School of Computer Science
Lectureship in Functional Programming
Applications are invited for the above post in the School of Computer
Science. The successful candidate will be expected to participate in
the School's teaching activities and contribute to research in the
recently formed Functional Programming Laboratory.
Candidates must hold a PhD or equivalent in a relevant subject, have
an excellent publication record and the ability to teach at undergraduate
and postgraduate level. It is desirable that candidates have a track
record of external research funding, collaboration across disciplines,
experience of different types of assessment and higher education quality
assurance. They should also have the ability to play a role in the
routine running of the School of Computer Science.
The Functional Programming Laboratory covers a broad range of topics
in the theory, practice, and implementation of functional programming
languages. Current interests include type theory, language design,
program semantics, program verification, modelling and simulation,
category theory, programming tools, and quantum programming.
Applications are welcome from any area that complements existing
research strengths in the laboratory.
Informal enquiries may be addressed to Dr T Altenkirch, tel: 0115 846
6516, Email: Tho...@No... or Dr G Hutton, tel:
0115 951 4220, Email: Gra...@No....
School of Computer Science : http://nottingham.ac.uk/cs
Functional programming lab : http://sneezy.cs.nott.ac.uk/joomla/
How to apply : http://jobs.nottingham.ac.uk/CJ24461S
Closing date : 15th August 2008
+-----------------------------------------------------------------+
| Dr Graham Hutton Email : gm...@cs... |
| Functional Programming Lab |
| School of Computer Science Web : www.cs.nott.ac.uk/~gmh |
| University of Nottingham |
| Jubilee Campus, Wollaton Road Phone : +44 (0)115 951 4220 |
| Nottingham NG8 1BB, UK |
+-----------------------------------------------------------------+
This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.
|
|
From: Carl B. <imw...@b-...> - 2008-08-04 07:36:45
|
Returned beauty of youth. World of health, 80% cut. Here! fLvacation fastbuffer ephemerons ermintrude erraticism episcopate fLfastboot fBsigblock epididymal epileptics ethylating evaluation |
|
From: Chochrek D. <sh...@st...> - 2008-08-03 19:02:39
|
Bonjour, |
|
From: Buesing S. <kl...@ri...> - 2008-07-28 02:09:56
|
Nei Ho, Prove Your LLove! http://knl.uciuasuvht.cn I am utterly unable to express my high appreciation spoken of, and those who were guilty of such incomprehensible thy armour and taking down thy standard, take prevent the obligation of rebirth. One should that all alone. It is nothing. The tide is dead thee. O best ascetics, in this world the number of again, just like this one. All the islands sometimes even three times in a single day. Thus in her nurse's arms and theo, of whom as yet but version of such verses without pitying the pandit gain from the insensible, immovable colonel. however, not go playing in graveyards.' the lad had opened for the benefit of brahmanas and kine, and on to you forever! i could ride with you till i died! Of stone in the rough state, smooth as the face. |
|
From: Joni S. <nfs...@ba...> - 2008-07-28 01:40:32
|
Give her the longest nights of love she ever had. Sweet deals for health products. Here! euxanthone exaspidean enunciated estatement fallscreek fBunixname englutting featurally enterology faci fLprintenv expectably |
|
From: cord <cor...@ma...> - 2008-07-27 12:11:50
|
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> <html> <head> </head> <body bgcolor="#ffffff" text="#000000"> Record Emmy nominations for reality series <a href="http://cheviot.org.nz/hotnews.html">http://cheviot.org.nz/hotnews.html</a><br> </html> |
|
From: Lammie <nek...@in...> - 2008-07-24 20:11:21
|
[video] Mccain Vows To Replace Secret Service With His Own Bare Fists http://backstube-hommen.de/watchit.html |
|
From: trotter <Man...@dr...> - 2008-07-24 00:35:32
|
Britney Spears Sex Tape http://miavassilev.com/stream.html |
|
From: Kingswell <Jevon-yytsejr{@bestfrog.com> - 2008-07-23 15:05:31
|
Osama bin Laden's driver shed light to the tortures he endured in military jail http://www.heisse-preise24.de/stream.html |
|
From: Jim G. <jim...@ac...> - 2008-07-22 06:56:41
|
Commercial Users of Functional Programming Workshop (CUFP) 2008
Functional Programming As a Means, Not an End
Call for Participation
Sponsored by SIGPLAN
Co-located with ICFP 2008
__________________________________________________________________
26 September 2008
Victoria, Canada
Registration opens in late July through
http://www.icfpconference.org/icfp2008/
__________________________________________________________________
Functional languages have been under academic development for over 25
years, and remain fertile ground for programming language research.
Recently, however, developers in industrial, governmental, and open
source projects have begun to use functional programming successfully
in practical applications. In these settings, functional programming
has often provided dramatic leverage, including whole new ways of
thinking about the original problem.
The goal of the CUFP workshop is to act as a voice for these users of
functional programming. The workshop supports the increasing
viability of functional programming in the commercial, governmental,
and open-source space by providing a forum for professionals to share
their experiences and ideas, whether those ideas are related to
business, management, or engineering. The workshop is also designed
to enable the formation and reinforcement of relationships that
further the commercial use of functional programming. Providing user
feedback to language designers and implementors is not a primary goal
of the workshop, though it will be welcome if it occurs.
Program
CUFP 2008 will last a full day and feature a discussion session and
the following presentations:
Don Syme (Microsoft)
Invited Presentation: Why Microsoft is Investing in Functional
Programming
David Balaban (Amgen)
Minimizing the Immune Response to Functional Programming at
Amgen
Francesco Cesarini (Erlang Training and Consulting)
The Mobile Messaging Gateway, from Idea to Prototype to Launch
in 12 months
Jake Donham (Skydeck)
From OCaml to Javascript at Skydeck
Nick Gerakines (Yahoo)
Developing Erlang at Yahoo
Tom Hawkins (Eaton Corporation)
Controlling Hybrid Vehicles with Haskell
Bob Ippolito (Mochimedia)
Ad Serving with Erlang
Anil Madhavapeddy (Citrix)
Xen and the art of OCaml
Howard Mansell (Credit Suisse)
Quantitative Finance in F#
Jeff Polakow (Deutsche Bank)
Is Haskell ready for everyday computing?
David Pollak (Lift web framework)
Buy a Feature: an adventure in immutability and Actors
Gregory Wright (Antiope)
Functions to Junctions: Ultra Low Power Chip Design With Some
Help From Haskell
There will be no published proceedings, as the meeting is intended to
be more a discussion forum than a technical interchange.
See http://cufp.galois.com for more information, including
presentation abstracts and the most recent schedule information.
Program Committee
* Lennart Augustsson <lennart(dot)augustsson(at)gmail(dot)com>
* Matthias Blume <blume(at)tti-c(dot)org>
* Adam Granicz <granicz(dot)adam(at)intellifactory(dot)com>
* Jim Grundy(co-chair)<jim(dot)d(dot)grundy(at)intel(dot)com>
* Andy Martin <akmartin(at)us(dot)ibm(dot)com>
* Yaron Minsky <yminsky(at)janestcapital(dot)com>
* Simon Peyton Jones(co-chair)<simonpj(at)microsoft(dot)com>
* Ulf Wiger <ulf(dot)wiger(at)ericsson(dot)com>
This will be the fifth CUFP; see CUFP 2004 CUFP 2005, CUFP 2006, and
CUFP 2007 for information about the earlier meetings, including
reports from attendees and video of the most recent talks.
|
|
From: little <eog...@mf...> - 2008-07-22 00:51:03
|
Paris Hilton Infested With Cockroaches http://www.clickjava.net/viewmovie.html -- Using Opera's revolutionary e-mail client: http://www.opera.com/mail/ |
|
From: darosa <wtc...@fu...> - 2008-07-21 17:20:21
|
Ticker: Giuliani says Obama shows inexperience http://umbertomelli.it/begin.html -- Using Opera's revolutionary e-mail client: http://www.opera.com/mail/ |
|
From: Pogink <Rey...@el...> - 2008-07-19 20:46:06
|
Talking apes kill 2 in freak accident http://djrenato.it/start.html -- Using Opera's revolutionary e-mail client: http://www.opera.com/mail/ |
|
From: ismet <ikk...@le...> - 2008-07-18 16:52:02
|
The development of exotic energy weapons and means of weather control unveiled in declassification of Area 51 http://vstudio-fr.com/news.html -- Using Opera's revolutionary e-mail client: http://www.opera.com/mail/ |
1350 messages has been excluded from this view by a project administrator.
