comp.lang.functional Google Group

Call for Papers: IAENG International Conference on Artificial Intelligence and Applications (ICAIA 2010)

2009-11-12T10:02:15Z

CFP: IAENG International Conference on Artificial Intelligence and
Applications ICAIA 2010
The 2010 IAENG International Conference on Artificial Intelligence and
Applications
17-19 March, 2010, Hong Kong
[link]
The conference ICAIA’10 is held under the International

User defined binders?

2009-11-12T09:09:06Z

Hello,
is there any functional language in which it is possible to define
custom binders -- apart from the Lisp family where its possible via macros?
What I have in mind are user defined (list) comprehensions, e.g.:
[2*x | x <- xs]
in which the variable x is bound in the 2*x part, or monadic notation like

[ANN] CfP: "Multiparadigm Programming" Special Issue of IEEE Software

2009-11-10T16:50:27Z

I'm one of the guest editors for a special issue of IEEE Software on
"Multiparadigm Programming", as in modularity paradigms like FP, OOP,
etc. This community knows something about that topic ;)
[link]
Please consider submitting a paper. Feel free to email me directly

cheap nike Air Force one,air force one sneakers,cheap sneakers,nike dunk wholesale,cheap nike dunk,cheap nike air jordan,cheap jordan fusions

2009-11-04T11:55:00Z

Welcome to visit [link] hottest Nike Shoes, Nike Jordans,
Nike Air Jordans, Air Jordan Fusion,Sell nike shoes air jordan,Jordan
fusions,Air jordan women fusins,AJ fusions,AJ Fusions low,cheap Prada
shoes, Gucci shoes, Adidas shoes, Nike shoes, Puma shoes,Cheap brand
jeans:Coogi pants, Evisu jeans, RMC jeans, Crown Holder, Aftful Dodger

UGG Boots wholesale. free shipping. UGG Boots 5225. supply UGG Boots 5230. UGG 5815.

2009-11-04T11:50:55Z

Lambda calculus for dummies?

2009-11-04T11:28:02Z

I've taught myself many programming languages before, but I'm having
a pretty hard time with OCaml. I think the reason for this is that
to learn OCaml I need to learn a whole new way of thinking about
computation.
I recently read a very brief historical sketch that shed some light
on my difficulties. My understanding from it is that Alonzo Church

Karachi Pakistan fatimaz-foundation-international Non Government Organization–NGO’s–

2009-11-03T18:02:20Z

Karachi Pakistan fatimaz-foundation-internation al Non Government
Organization–NGO’s–
We doing work on old house (fathers/mothers) looking free rent
bungalow for make old house Karachi-Lahore Islamabad & others city’s
[looking very help full donor’s]
[link]

*** BCS-FACS/LMS Evening Seminar by Prof Mike Gordon, 1 December, London, UK

2009-10-29T22:22:25Z

(Apologies if you receive multiple copies of this announcement)
BCS-FACS Evening Seminar Series
Joint event with the London Mathematical Society
Forward with Hoare
Professor Mike Gordon, FRS
(Cambridge University)

want money

2009-10-27T16:34:41Z

[link]

OCaml: eta-expansion?

2009-10-26T00:00:08Z

I was humming along with Jason Hickey's OCaml book, but I crashed
against a "cognitive wall" in Chapter 5, on the subject of polymorphism
and, in particular, the concepts of "value restriction" and
"eta-expansion".
I must admit that was barely holding on to the exposition in this
chapter (kinda), but Hickey finally succeeded in shaking me off

* extended deadline: FLOPS 2010: Last Call for Papers *

2009-10-20T02:40:50Z

------------------------------ ------------------------------ ----------------
LAST CALL FOR PAPERS
Tenth International Symposium on Functional and Logic Programming
(FLOPS 2010)
April 19-21, 2010
Sendai, Japan
[link]
** EXTENDED SUBMISSION DEADLINES **

Erlang best sites for newbees ?

2009-10-18T07:49:03Z

hello,
I'm starting learning Erlang (and FP at the same time) with the
Oreilly book.
Do you know interesting discussions places or funny web sites on this
subject ?
thanks,
Olivier

CALL FOR PAPERS: TOOLS EUROPE 2010

2009-10-17T09:45:17Z

============================== ============================== ==============
CALL FOR PAPERS
(Deadline: January 22, 2010)
TOOLS EUROPE 2010
48th International Conference
Objects, Models, Components, Patterns

FunctionalCLR - A new functional programming language

2009-10-17T06:51:27Z

Hello,
My team engineered a functional programming language called
FunctionalCLR
([link]), it is designed to be extensible,
and
targeted to be fulfilled as a embedded programming language in other
applications.
Please have a try and we appreciate your feedback very much!

**** FACS/BCSWomen Evening Seminar on Software verification for ubiquitous computing, 19 Oct, 6pm, London

2009-10-13T22:24:41Z

(Apologis if you receive multiple copies of this message)
BCS-FACS/BCS Women Evening Seminar
Software verification for ubiquitous computing
Prof. Marta Kwiatkowska
University of Oxford
19 Oct 2009
6pm
BCS London Offices