1830 search results - page 47 / 366 » Functional Programs as Linked Data |
136
click to vote
CBMS
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper presents an extensible schema for capturing laboratory gene variance data with its meta-data properties in a semi-structured environment. This paper also focuses on the...
144
click to vote
IFL
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Generic programming enables the programmer to define functions by induction on the structure of types. Defined once, such a generic function can be used to generate a s...
151
click to vote
ICTAC
2005
Springer
15 years 10 months ago
2005
Springer
Case studies can significantly contribute towards improving the understanding of formalisms and thereby to their applicability in practice. One such case, namely a cascade of the ...
137
click to vote
SIGPLAN
2002
15 years 4 months ago
2002
We propose a new extension to the purely functional programming language Haskell that supports compile-time meta-programming. The purpose of the system is to support the algorithm...
141
click to vote
PLDI
2005
ACM
15 years 10 months ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...