Sciweavers

1185 search results - page 59 / 237
» Implementing Functional Languages: a tutorial
Sort
View
ISORC
2003
IEEE
15 years 3 months ago
Design of SMIL Browser Functionality in Mobile Terminals
SMIL is a markup language which enables us to describe multimedia contents. This paper proposes a design model of SMIL browser functionality for mobile terminals whose resources a...
Satoshi Hieda, Yoshinori Saida, Hiroshi Chishima, ...
ECML
2000
Springer
15 years 2 months ago
Metric-Based Inductive Learning Using Semantic Height Functions
In the present paper we propose a consistent way to integrate syntactical least general generalizations (lgg's) with semantic evaluation of the hypotheses. For this purpose we...
Zdravko Markov, Ivo Marinchev
AFP
1995
Springer
126views Formal Methods» more  AFP 1995»
15 years 1 months ago
Functional Programming with Overloading and Higher-Order Polymorphism
The Hindley/Milner type system has been widely adopted as a basis for statically typed functional languages. One of the main reasons for this is that it provides an elegant comprom...
Mark P. Jones
LISP
2008
64views more  LISP 2008»
14 years 9 months ago
Nesting forward-mode AD in a functional framework
Abstract. We discuss the implications of the desire to augment a functionalprogramming language with a derivative-taking operator using forward-mode automatic differentiation (AD)....
Jeffrey Mark Siskind, Barak A. Pearlmutter
CEFP
2007
Springer
15 years 3 months ago
From Interpretation to Compilation
Abstract. In this paper we sketch some experiments with the construction of a simple compiler for a high level intermediate lazy functional language, with C++ as a target language....
Jan Martin Jansen, Pieter W. M. Koopman, Rinus Pla...