Sciweavers

18429 search results - page 314 / 3686
» Typing dynamic typing
Sort
View
ICBA
2004
Springer
123views Biometrics» more  ICBA 2004»
16 years 2 days ago
User Authentication through Typing Biometrics Features
Lívia C. F. Araújo, Luiz H. R. Sucup...
ICCS
2004
Springer
16 years 2 days ago
Types and Tokens for Logic with Diagrams
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 ...
Frithjof Dau
MPC
2004
Springer
123views Mathematics» more  MPC 2004»
16 years 1 days ago
Constructing Polymorphic Programs with Quotient Types
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...
Michael Abbott, Thorsten Altenkirch, Neil Ghani, C...