Experimental analyses of charged current deep inelastic charm production --
as observed through dimuon events in neutrino-iron scattering -- measure the
strangeness component of the nucleon sea. A complete analysis requires a Monte
Carlo simulation to account for experimental detector acceptance effects;
therefore, a fully differential theoretical calculation is necessary to provide
complete kinematic information. We investigate the theoretical issues involved
in calculating these differential distributions at Next-Leading-Order (NLO).
Numerical results are presented for typical fixed target kinematics. We present
a corresponding FORTRAN code suitable for experimental NLO analysis.Comment: 19 pages, 4 figure