Sciweavers

2335 search results - page 29 / 467
» Type Checking Type Classes
Sort
View
LFP
1990
96views more  LFP 1990»
15 years 3 months ago
Static Dependent Types for First Class Modules
Mark A. Sheldon, David K. Gifford
BC
2008
55views more  BC 2008»
15 years 2 months ago
Minimal Hodgkin-Huxley type models for different classes of cortical and thalamic neurons
Martin Pospischil, Maria Toledo-Rodriguez, Cyril M...