458 search results - page 92 / 92 » A type system for recursive modules |
BIRTHDAY
2010
Springer
13 years 4 months ago
2010
Springer
m, modules, types and operations), different kinds of abstractions (functional/data, types/objects etc.) without falling into a loose collection of diagram languages. Considering a...
PVLDB
2010
13 years 3 months ago
2010
Microsoft SQL Server spatial libraries contain several components that handle geometrical and geographical data types. With advances in geo-sensing technologies, there has been an...
TAICPART
2010
IEEE
13 years 3 months ago
2010
IEEE
We report on how the Wrangler refactoring tool has been used to improve and transform test code for Erlang systems. This has been achieved through the removal of code clones, the i...