Programming with Managed Time