Protien Folding meets Functional Programming
No abstract available.
7,482 papers · page 291 of 375
Modelling String Folding with G2L Grammars
No abstract available.
A Functional Macro Expansion System for Optimizing Code Generation: Gaining Context-Sensitivity without Losing Confluence
No abstract available.
Monadic State: Axiomatization and Type Safety
Type safety of imperative programs is an area fraught with difficulty and requiring great care. The SML solution to the problem, originally involving imperative type variables, has been recently simplified to the syntactic-value restriction. In Haskell, the problem is addressed i…
on Global Dynamics of Optimal Graph Reduction
Optimal graph reduction technology for the λ-calculus, as developed by Lamping, with modifications by Asperti, Gonthier, Abadl, and Lévy, has a well-understood local dynamics based on a standard menagerie of reduction rules, as well as a global context semantics based on Girard's…
A Practical Subtyping System For Erlang
We present a type system for the programming language Erlang. The type system supports subtyping and declaration-free recursive types, using subtyping constraints. Our system is similar to one explored by Aiken and Wimmers, though it sacrifices expressive power in favour of simpl…
BigTypes in ML
No abstract available.
Catenable Double-Ended Queues
Catenable double-ended queues are double-ended queues (deques) that support catenation (i.e., append) efficiently without sacrificing the efficiency of other operations. We present a purely functional implementation of catenable deques for which every operation, including catenat…
Inductive Synthesis of Recursive Functional Programs (Poster Abstract)
Synthesis of Functions by Transformations and Constraints
No abstract available.
Intensional Sets Using Explicit Substitutions
No abstract available.
Simple Semantic Analysis Problems for Functional Programs
No abstract available.
Flexible Representation Analysis
Statically typed languages with Hindley-Milner polymorphism have long been compiled using inefficient and fully boxed data representations. Recently, several new compilation methods have been proposed to support more efficient and unboxed multi-word representations. Unfortunately…
Automatic Management of Operating System Resources
One of the attractive features of functional programming languages is that they provide automatic management of the store, in the form of garbage collection. However, the benefits of automatic resource management can be applied to other resources as well. Scsh, a systems-programm…
Distributed Programming, a Purely Functional Approach
No abstract available.
Multi-Stage Programming
No abstract available.
Formal Models of Distributed Memory Management
We develop am abstract model of memory management in distributed systems. The model is low-level enough so that we can express communication, allocation and garbage collection, but otherwise hides many of the lower-level details of an actual implementation.Recently, such formal m…
Lambda-Flow: A Parallel Functional Synchronous Dataflow Language
No abstract available.
Adding Type Parameterization to the Java Language
Although the Java programming language has achieved widespread acceptance, one feature that seems sorely missed is the ability to use type parameters (as in Ada generics, C++ templates, and ML polymorphic functions or data types) to allow a general concept to be instantiated to o…
The ODMG Object Model: Does it Make Sense?
The ODMG Object Model is shown to have a number of problems. A major confusion is caused by the intended type of polymorphism and the way it is expressed in the Model. Dynamic type checking is required even in situations when static type checking is possible. There are situations…