We develop a general two-sided micro-matching framework with heterogeneous workers and machines that permits a complete analysis of neutral technical progress commonly used in neoclassical production theory, without a priori restrictions on the functional forms of the production technology. We use the concept of “production core” to determine stable task assignments and the corresponding factor...