Sciweavers

1835 search results - page 57 / 367
» Functional Programming of Behavior-Based Systems
Sort
View
109
Voted
DLS
2007
177views Languages» more  DLS 2007»
15 years 2 months ago
An adaptive package management system for scheme
This paper presents a package management system for the Scheme programming language. It is inspired by the Comprehensive Perl Archive Network (CPAN) and various GNU/Linux distribu...
Manuel Serrano, Erick Gallesio
125
Voted
FP
1992
135views Formal Methods» more  FP 1992»
15 years 4 months ago
High Level Specification of I/O in Functional Languages
The interface with the outside world has always been one of the weakest points of functional languages. It is not easy to incorporate I/O without being allowed to do side-effects....
Peter Achten, John H. G. van Groningen, Marinus J....
128
Voted
BMCBI
2008
141views more  BMCBI 2008»
15 years 28 days ago
The development of PIPA: an integrated and automated pipeline for genome-wide protein function annotation
Background: Automated protein function prediction methods are needed to keep pace with high-throughput sequencing. With the existence of many programs and databases for inferring ...
Chenggang Yu, Nela Zavaljevski, Valmik Desai, Seth...
99
Voted
PPDP
2007
Springer
15 years 7 months ago
Computing with subspaces
We propose a new definition and use of a primitive getAllValues, for computing all the values of a non-deterministic expression in a functional logic program. Our proposal restri...
Sergio Antoy, Bernd Braßel
FOSSACS
2008
Springer
15 years 2 months ago
Erasure and Polymorphism in Pure Type Systems
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...
Nathan Mishra-Linger, Tim Sheard