Results 1 to 10 of about 4,434 (241)
Lyricism in Hellenistic Epigram
Trends in Classics, 2017 :The paper explores the lyrical qualities of Hellenistic epigram not only by linking it to the lyric poems and tropes of the past but primarily by drawing on the modern understanding of lyric as genre or mode. Taking as a point of departure the notion of
Kathryn Gutzwiller
exaly +2 more sources
Some of the next articles are maybe not open access.
Proceedings of the third ACM SIGPLAN workshop on Mathematically structured functional programming, 2010
It would not be too much of a stretch to imagine that dependent types will be the next big thing in programming language research. The key benefit is that by allowing types to be indexed by data, it is possible to expose more and more of the structure that lies behind the programs we write.
openaire +1 more source
It would not be too much of a stretch to imagine that dependent types will be the next big thing in programming language research. The key benefit is that by allowing types to be indexed by data, it is possible to expose more and more of the structure that lies behind the programs we write.
openaire +1 more source