Sciweavers

1185 search results - page 45 / 237
» Implementing Functional Languages: a tutorial
Sort
View
COORDINATION
2009
Springer
15 years 4 months ago
Fairness for Chorded Languages
Joins or chords is a concurrency construct that seems to fit well with the object oriented paradigm. Chorded languages are presented with implicit assumptions regarding the fair t...
Alexis Petrounias, Susan Eisenbach
84
Voted
ESOP
2000
Springer
15 years 1 months ago
Sharing Continuations: Proofnets for Languages with Explicit Control
We introduce graph reduction technology that implements functional languages with control, such as Scheme with call/cc, where continuations can be manipulated explicitly as values,...
Julia L. Lawall, Harry G. Mairson
105
Voted
ICFP
1998
ACM
15 years 1 months ago
Functional Differentiation of Computer Programs
We present a purely functional implementation of the computational differentiation tools — the well known numeric (i.e., not symbolic) techniques which permit one to compute poin...
Jerzy Karczmarczuk
SIGCSE
2002
ACM
142views Education» more  SIGCSE 2002»
14 years 9 months ago
Integrating formal models into the programming languages course
In our approach to the Programming Languages course, formal models are integrated as a thread that pervades the course, rather than as a one of many topics that is introduced and ...
Allen B. Tucker, Robert E. Noonan
CG
2006
Springer
14 years 9 months ago
Function-based shape modelling extension of the Virtual Reality Modelling Language
In this paper we propose a new approach to web visualisation with VRML based on a function-based shape modelling, which unifies different types of mathematical functions in order ...
Qi Liu, Alexei Sourin