Skip to Main Content

John McCarthy

McCarthy-John
John McCarthyAssociate Professor

Publications

  • McCarthy, J., Fetscher, B., New, M., Feltey, D., Findler, R.B. (2016) "A Coq Library For Internal Verification of Running-Times," pp. 144–162
  • McCarthy, J. (2016) "Bithoven: Gödel encoding of chamber music and functional 8-bit audio synthesis," pp. 1–7
  • Hu, H.H., Heiner, C., McCarthy, J. (2016) "Deploying Exploring Computer Science Statewide," pp. 72–77