Silvaniense se torna Mestre em Ciências da Computação pela Universidade de Purdue, nos Estados Unidos
O silvaniense Pedro Abreu Júnior, 30 anos, defendeu na última terça-feira, 09 de abril, sua tese de mestrado em Ciência da Computação pela Universidade de Purdue, em Lafayette, estado de Indiana, nos Estados Unidos. O título da tese é “A translation of OCaml GADTs into Coq”, em tradução livre “Uma tradução de GADTs em OCaml para […]