Výsledky vyhledávání

Akademický článek

A Functional Abstraction of Typed Invocation Contexts

Autor: Youyou Cong, Chiaki Ishio, Kaho Honda, Kenichi Asai

Publikováno v: Logical Methods in Computer Science, Vol Volume 18, Issue 3 (2022)

In their paper "A Functional Abstraction of Typed Contexts", Danvy and Filinski show how to derive a monomorphic type system of the shift and reset operators from a CPS semantics. In this paper, we show how this method scales to Felleisen's control a

Externí odkaz: https://doaj.org/article/5f28fc0eef614b2c96faa94229bec417

Zobrazit plný text záznamu

Thermal conductivity of hetero-epitaxial ZnO thin films on c- and r-plane sapphire substrates: Thickness and grain size effect

Autor: Yuzo Shigesato, Yuichiro Yamashita, Junjun Jia, Takashi Yagi, Naoyuki Taketoshi, Kaho Honda

Publikováno v: Journal of Applied Physics. 125:035101

The thermal conductivities of c- and a-axis-oriented zinc oxide (ZnO) thin films with nominal thicknesses of 100, 200, and 300 nm are investigated. The c- and a-axis-oriented ZnO thin films were synthesized by radio frequency magnetron sputtering on

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::bd1736e23f564162af399173272a5ba1
https://doi.org/10.1063/1.5055266

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání