Linear dependent types in a call-by-value scenario
- 期刊名称Science of Computer Programming
- 作者Dal Lago, Ugo; Petit, Barbara
- 卷第84卷
- 印刷ISSN0167-6423
- 文件大小559.99KB
- 发表时间2014-05
- DOI10.1016/j.scico.2013.07.010
- 页码77-100
Logical Gene Ontology Annotations (GOAL): exploring gene ontology annotations with OWLSimon Jupp; Robert Stevens; Robert Hoehndorf · 2012
The Annotations of M. Valerivs Probvs [The Annotations of M. Valerius Probus]H. D. Jocelyn · The Classical Quarterly (New Series) · 1984
The Annotations of M. Valerivs Probvs (II) [The Annotations of M. Valerius Probus (II)]H. D. Jocelyn · The Classical Quarterly (New Series) · 1985
Jerome Nadal.Annotations and Meditations on the Gospels; and Jerome Nadal.Annotations and Meditations on the GospelsLewis, S.J., Mark A. · Renaissance Quarterly · 2006
Annotations on Galations and Ephesians || Annotations on Paul’s Epistle to the Ephesians by Desiderius Erasmus of RotterdamErasmus, Desiderius; Faber, Riemer · 2017
Detection of gene annotations and protein-protein interaction associated disorders through transitive relationships between integrated annotationsMasseroli, Marco; Canakoglu, Arif; Quigliatti, Massimiliano · BMC Genomics · 2015
Annotations on Galations and Ephesians || Annotations on the Epistle of Paul to the Galatians by Desiderius Erasmus of RotterdamErasmus, Desiderius; Faber, Riemer · 2017
The Annotations of M. Valerivs Probvs, III: Some Virgilian Scholia [The Annotations of M. Valerius Probus, III: Some Virgilian Scholia]H. D. Jocelyn · The Classical Quarterly (New Series) · 1985