-
1by Jia, Limin, Zhao, Jianzhou, Sjöberg, Vilhelm, Weirich, Stephanie“.... Some, such as Coq, Epigram or Agda, do so by employing analyses to force all programs to terminate...”
Published in ACM SIGPLAN Notices (2010)
Get access
Get access
Article in Journal/Newspaper -
2by Univers, Revista“..., as well as epigrams in the castles, in the clock-towers, in shelters, in urban works, on water-taps...”
Published 2024
Get access
Article in Journal/Newspaper