[ACM Press the 25th symposium - Nijmegen, Netherlands (2013.08.28-2013.08.30)] Proceedings of the 25th symposium on Implementation and Application of Functional Languages - IFL '13 - The implementation of the Mezzo type-checker
- 作者Protzenko, Jonathan
- 文件大小401.00KB
- 发表时间2014
- DOI10.1145/2620678.2620684
- 页码129-141
On Subprojectivity Domains of g-Semiartinian ModulesDurgun, Yilmaz; Cobankaya, Ayse · Journal of Algebra and Its Applications · 2020
Observation of anomalus triplication of unilateral anterior digastric muscleH. Hamdi Çelik; Engin Yilmaz; Alper Atasever; Barbaros Durgun; Doǧan Taner · 1993
How was Felt Van Earthquake by a Neighbor University Hospital?ZENGIN, Yilmaz; ICER, Mustafa; GUNDUZ, Ercan; DURSUN, Recep; DURGUN, Hasan Mansur; GULLU, Mehmet Nezir; ORAK, Murat; GULOGLU, Cahfer · Turkish Journal of Emergency Medicine · 2015
A Rare Cause of Epistaxis due to Leech Infestation: A Case ReportZengin, Yilmaz; Gunduz, Ercan; Icer, Mustafa; Dursun, Recep; Durgun, Hasan Mansur; Gunduzalp, Ahmet; Ekinci, Mustafa · Journal of Academic Emergency Medicine Case Reports · 2014
Somatotopic Organization of the Axons Innervating the Superior Rectus Muscle in the Oculomotor Nerve of the RatAtasever, A.; Durgun, B.; Çelik, H.H.; Yilmaz, E. · Cells Tissues Organs · 1993
Arteria thyroidea ima arising from the brachiocephalic trunk with bilateral absence of inferior thyroid arteries: a case reportE Yilmaz; HH Çelik; B Durgun; A Atasever; S Ilgi · 1993
The synthesis, characterization, and electrochemistry of molecular cobaloxime/organocobaloxime: catalysts for cycloaddition of carbon dioxide and epoxidesKilic, Ahmet; Ulusoy, Mahmut; Durgun, Mustafa; Aytar, Emine; Keles, Armagan; Dagdevren, Metin; Yilmaz, Ismail · Journal of Coordination Chemistry · 2014
Simplicial radditive functorsVoevodsky, Vladimir · Journal of K-theory: K-theory and its Applications to Algebra, Geometry, and Topology · 2010
PrefaceGuo, Xuejun; Qin, Hourong; Tang, Guoping · Journal of K-theory: K-theory and its Applications to Algebra, Geometry, and Topology · 2013
Comparing homotopy categoriesBlanc, David · Journal of K-theory: K-theory and its Applications to Algebra, Geometry, and Topology · 2008
ForewordBak, Anthony; Rosenberg, Jonathan; Weibel, Chuck · Journal of K-theory: K-theory and its Applications to Algebra, Geometry, and Topology · 2010
Quillen model categoriesHovey, Mark · Journal of K-theory: K-theory and its Applications to Algebra, Geometry, and Topology · 2013
PrefaceFriedlander, Eric M.; Østvær, Paul Arne; Quick, Gereon · Journal of K-theory: K-theory and its Applications to Algebra, Geometry, and Topology · 2011
Cyclic Cohomology of CoringsRangipour, Bahram · Journal of K-theory: K-theory and its Applications to Algebra, Geometry, and Topology · 2009
Representability of derived stacksPridham, J.P. · Journal of K-theory: K-theory and its Applications to Algebra, Geometry, and Topology · 2012