3516 search results - page 221 / 704 » Programming Languages: Application and Interpretation |
141
click to vote
HASKELL
2005
ACM
16 years 4 days ago
2005
ACM
Haskell has proved itself to be a suitable implementation language for large software projects. Nevertheless, surprisingly few graphical end-user applications have been written in...
253
click to vote
POPL
2003
ACM
16 years 6 months ago
2003
ACM
We present a type theory for higher-order modules that accounts for many central issues in module system design, including translucency, applicativity, generativity, and modules a...
177
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
This article demonstrates how a powerful and expressive ion from concurrency theory--monads of resumptions--plays a dual r^ole as a programming tool for concurrent applications. Th...
161
click to vote
POPL
1991
ACM
15 years 10 months ago
1991
ACM
We present a new approach to the polymorphic typing of data accepting in-place modification in ML-like languages. This approach is based on restrictions over type generalization,...
198
click to vote
ESWA
2006
15 years 6 months ago
2006
Artificial intelligence (AI) has increasingly gained attention in bioinformatics research and computational molecular biology. With the availability of different types of AI algor...