Sciweavers

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