Palestra – Generic bidirectional typing for dependent type theories
Na próxima quarta-feira, 21, às 11 horas, na sala 2077 do Instituto de Ciências Exatas (ICEx) da UFMG, o doutorando em Ciência da Computação no Laboratoire Méthodes Formelles (LMF) da Universidade Paris-Saclay, Thiago Felicissimo, irá proferir a palestra “Generic bidirectional typing for dependent type theories”. O evento é presencial e aberto aos interessados, sem necessidade […]
Palestra – Generic bidirectional typing for dependent type theories Read More »
Na próxima quarta-feira, 21, às 11 horas, na sala 2077 do Instituto de Ciências Exatas (ICEx) da UFMG, o doutorando em Ciência da Computação no Laboratoire Méthodes Formelles (LMF) da Universidade Paris-Saclay, Thiago Felicissimo, irá proferir a palestra “Generic bidirectional typing for dependent type theories”. O evento é presencial e aberto aos interessados, sem necessidade