1830 search results - page 95 / 366 » Functional Programs as Linked Data |
111
Voted
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
End-user programming tools for creating spreadsheets and webforms offer no data types except "string" for storing many kinds of data, such as person names and street add...
222
click to vote
POPL
2006
ACM
16 years 3 months ago
2006
ACM
In the spirit of Landin, we present a calculus of dependent types to serve as the semantic foundation for a family of languages called data description languages. Such languages, ...
119
click to vote
FMCAD
2009
Springer
15 years 9 months ago
2009
Springer
Abstract—Dynamically allocated and manipulated data structures cannot be translated into hardware unless there is an upper bound on the amount of memory the program uses during a...
158
click to vote
AOSD
2007
ACM
15 years 7 months ago
2007
ACM
Developing and debugging parallel programs particularly for distributed memory architectures is still a difficult task. The most popular approach to developing parallel programs f...
108
click to vote
IPPS
2008
IEEE
15 years 9 months ago
2008
IEEE
A file data model for algorithmic skeletons is proposed, focusing on transparency and efficiency. Algorithmic skeletons correspond to a high-level programming model that takes a...