Search Results - Open Polar - "epigram"

Select result number 1
1

Dependent types and program equivalence

by Jia, Limin, Zhao, Jianzhou, Sjöberg, Vilhelm, Weirich, Stephanie
Published in ACM SIGPLAN Notices (2010)
“.... Some, such as Coq, Epigram or Agda, do so by employing analyses to force all programs to terminate...”

Get access
Get access

Article in Journal/Newspaper
Select result number 2
2

Cultural heritage in arab alphabet in balkans

by Univers, Revista
Published 2024
“..., as well as epigrams in the castles, in the clock-towers, in shelters, in urban works, on water-taps...”

Get access

Article in Journal/Newspaper