2362 search results - page 50 / 473 » Programming in Standard ML |
114
click to vote
POPL
1991
ACM
15 years 6 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,...
141
click to vote
DATE
2007
IEEE
15 years 9 months ago
2007
IEEE
We are concerned with the software implementation of baseband processing for the physical layer of radio standards (“Software Defined Radio - SDR”). Given the constraints for ...
114
Voted
PLDI
1998
ACM
15 years 7 months ago
1998
ACM
A module system ought to enable assembly-line programming using separate compilation and an expressive linking language. Separate compilation allows programmers to develop parts o...
120
click to vote
WWW
2010
ACM
15 years 10 months ago
2010
ACM
We present a tool for helping XML schema designers to obtain a high quality level for their specifications. The tool allows one to analyze relations between classes of XML docume...
127
click to vote
ATC
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Pervasive computing applications must be sufficiently autonomous to adapt their behaviour to changes in computing resources and user requirements. This capability is know...