906 search results - page 38 / 182 » Language and program design for functional dependencies |
ML
2007
ACM
13 years 10 months ago
2007
ACM
The Manticore project is an effort to design and implement a new functional language for parallel programming. Unlike many earlier parallel languages, Manticore is a heterogeneous...
CORR
2011
Springer
13 years 5 months ago
2011
Springer
Generating multimedia streams, such as in a netradio, is a task which is complex and difficult to adapt to every users’ needs. We introduce a novel approach in order to achieve i...
PLDI
1997
ACM
14 years 2 months ago
1997
ACM
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequat...
ICFP
2009
ACM
14 years 3 months ago
2009
ACM
This paper presents our experience using a domain-specific functional language, WaveScript, to build embedded sensing applications used in scientific research. We focus on a rec...
PLPV
2009
ACM
14 years 7 months ago
2009
ACM
We propose a new way to reason about general recursive functional programs in the dependently typed programming language Agda, which is based on Martin-L¨of’s intuitionistic ty...