18429 search results - page 314 / 3686 » Typing dynamic typing |
200
click to vote
ICCS
2004
Springer
16 years 2 days ago
2004
Springer
It is well accepted that diagrams play a crucial role in human reasoning. But in mathematics, diagrams are most often only used for visualizations, but it is doubted that diagrams ...
175
click to vote
MPC
2004
Springer
16 years 1 days ago
2004
Springer
The efficient representation and manipulation of data is one of the fundamental tasks in the construction of large software systems. Parametric polymorphism has been one of the mo...