Gradual Programming in Hedy: A First User Study | IEEE Conference Publication | IEEE Xplore