1185 search results - page 169 / 237 » Implementing Functional Languages: a tutorial |
LPAR
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Earlier we introduced Constraint Lambda Calculi which integrate constraint solving with functional programming for the simple case where the constraint solver produces no...
IFIP
2004
Springer
14 years 3 months ago
2004
Springer
A term terminates if all its reduction sequences are of finite length. We show four type systems that ensure termination of well-typed π-calculus processes. The systems are obtai...
ECBS
2010
IEEE
14 years 3 months ago
2010
IEEE
The Unified Modeling Language (UML) is the standard to specify the structure and behaviour of software systems. The created models are a constitutive part of the software speci...
ERLANG
2003
ACM
14 years 3 months ago
2003
ACM
VoDKA is a Video-on-Demand server developed using Erlang/OTP. In this paper, the evolution of the core architecture of the system, designed for improving resource modelling, is de...
ADBIS
2001
Springer
14 years 2 months ago
2001
Springer
In this paper we address an issue common in the frame of WWW, namely information entities that present di erent facets under di erent contexts (or worlds). Handling such multifacet...