Sciweavers

1185 search results - page 97 / 237
» Implementing Functional Languages: a tutorial
Sort
View
PEPM
1994
ACM
15 years 2 months ago
Dictionary-Free Overloading by Partial Evaluation
One of the most novel features in the functional programming language Haskell is the system of type classes used to support a combination of overloading and polymorphism. Current ...
Mark P. Jones
PPDP
2005
Springer
15 years 3 months ago
ReactiveML: a reactive extension to ML
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...
Louis Mandel, Marc Pouzet
IWRIDL
2006
ACM
180views Education» more  IWRIDL 2006»
15 years 3 months ago
Multilingual information access: the contribution of evaluation
The importance of evaluation in promoting research and development in the information retrieval and natural language processing domains has long been recognised but is this suffic...
Carol Peters
FLOPS
2004
Springer
15 years 3 months ago
Basic Pattern Matching Calculi: a Fresh View on Matching Failure
We propose pattern matching calculi as a refinement of λ-calculus that integrates mechanisms appropriate for fine-grained modelling of non-strict pattern matching. Compared with...
Wolfram Kahl
SAS
1993
Springer
139views Formal Methods» more  SAS 1993»
15 years 2 months ago
Compiling FX on the CM-2
Type and effect systems provide a safe and effective means of programming high-performance parallel computers with a high-level language that integrates both functional and impe...
Jean-Pierre Talpin, Pierre Jouvelot