Sciweavers

5415 search results - page 15 / 1083
» The Implementation of Functional Programming Languages
Sort
View
SCP
1998
113views more  SCP 1998»
15 years 5 months ago
Linear-Time Hierarchies for a Functional Language Machine Model
In STOC 93, Jones sketched the existence of a hierarchy within problems decidable in linear time by a first-order functional language based on tree-structured data (F), as well a...
Eva Rose
141
Voted
TOOLS
1997
IEEE
15 years 10 months ago
Dynamically Extensible Objects in a Class-Based Language
Object-oriented programming techniques support construction of reusable and extensible code. However, class-based languages have poor support for implementing type-orthogonal beha...
R. W. Schmidt
ENTCS
2002
83views more  ENTCS 2002»
15 years 5 months ago
Operational Semantics for Functional Logic Languages
In this work we provide a semantic description of functional logic languages covering notions like laziness, sharing, and non-determinism. Such a semantic description is essential...
Elvira Albert, Michael Hanus, Frank Huch, Javier O...
ICFP
1998
ACM
15 years 10 months ago
Implementing Typed Intermediate Languages
Zhong Shao, Christopher League, Stefan Monnier
FPLE
1995
15 years 9 months ago
Explaining Algebraic Theory with Functional Programs
Abstract. A hierarchy of six important structures from abstract algebra (groups, rings, fields etc.) is introduced as Gofer class definitions and laws about them. Many instance d...
Jeroen Fokker