Place the marshmallows and milk over hot water and stir until the marshmallows are melted. Remove from the heat, add the vanilla and cool. When chilled and beginning to thicken, fold in the whipped cream until thick but not stiff. Freeze. Two squares of melted chocolate added to the hot mixture makes a pleasing variation. Makes 2 quarts.