Type inference to optimize a hybrid statically and dynamically typed language /

QRコード

Type inference to optimize a hybrid statically and dynamically typed language /

保存先:

書誌詳細
第一著者:	Ortin, Francisco.
フォーマット:	論文
言語:	English
主題:	Dynamic typing Hybrid static Intersection types Runtime performance Type systems Union types
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

類似資料

Inequalities of Noether type for 3-folds of general type /
著者:: Chen, Meng.

Type-2 Fuzzy Relational Databases: A Model and Management System
著者:: Nguyen, Hoa
出版事項: (2018)

Criteria on boundedness in terms of two measures for Volterra type discrete systems /
著者:: Fu, Xilin.

Decay estimates for a quasilinear wave equation of Kirchhoff type /
著者:: Aassila, Mohammed.

MicroType pro
著者:: Robert Jackson
出版事項: (1997)

Typographic Design in the Digital Studio
著者:: Amdur, David A.
出版事項: (2007)

Asymptotic behavior of the solutions of the Hartree type equation /
著者:: Wada, Takashi.

On algebraic number of solution of systems with Landesman-Lazer type nonlinearities /
著者:: Krasnosel'skii, Alexander M.

When is a failure to replicate not a Type II error ? : Response /
著者:: Vasconcelos, Marco.

Pid Board : Type 5120 - Technical Description /
著者:: Hps SystemTechnik

Power Board : Type 5125 - Technical Description /
著者:: Hps SystemTechnik

Motor Board : Type 5130 - Technical Description /
著者:: Hps SystemTechnik

Stepping Board: Type 5132 - Technical Description /
著者:: Hps SystemTechnik

Servo Board: Type 5131 - Technical Description /
著者:: Hps SystemTechnik

Principles and Types of Speech Communication /
著者:: E, Gronbeck Bruce
出版事項: (1997)

Digi Board 2: Type 3910 - Technical Description /
著者:: Hps SystemTechnik

Sensorics Board 2: Type 3840 - Technical Description /
著者:: Hps SystemTechnik

Typographic design in the digital studio :
著者:: Amdur, David A.
出版事項: (2007)

Typographic Design in the Digital Studio
著者:: Amdur, David A.
出版事項: (2007)

A Liouville type theorem for weighted elliptic equations /
著者:: De Cicco, Virginia.

Type I error inflation for detecting DIF in the presence of impact /
著者:: DeMars, Christine E.

The last days of America
著者:: Erdman, Paul
出版事項: (1981)

Harmonic maps and Ginzburg-Landau type elliptic system /
著者:: Zhai, Jian.

PC Control Board : Type 3890 - Technical Description /
著者:: Hps SystemTechnik

Homogenization of flows through porous media with permeable grains /
著者:: Fasano, Antonio.

ISOLATION AND STRUCTURAL CHARACTERIZATION OF TWO SAPONINS FROM THE ROOTS OF Sansevieria trifasciata ‘Laurentii’
著者:: Nguyen, Duc Hung, 等
出版事項: (2024)

Nonlinear subelliptic Schrodinger type problems /
著者:: Biroli, Marco.

Chloride ATPase pumps in nature : Do they exist ? /
著者:: Gerencser, George A.

Fault simulator: Stabilized Power Supply - Type 3160 - Technical Description /
著者:: Hps SystemTechnik

Structures of the mating-type loci of cordyceps takaomontana /
著者:: Yokoyama, Eiji.

Đánh giá nồng độ Fructosamin huyết thanh ở bệnh nhân đái tháo đường Type 2
著者:: Bùi, Thị Minh Phượng, 等
出版事項: (2026)

Behavioral types as predictors of survival in Trinidadian guppies (Poecilia reticulata) /
著者:: Smith, Brian R.

Inertial set for a phase transition model of Penrose-Fife type /
著者:: Ito, Akio.

Truyện cổ Cơ Tu đọc từ Type và Motif
著者:: Nguyễn, Anh Phong
出版事項: (2023)

Invariance condition of general nonlinear control system with integral type output /
著者:: Shima, Masasuke.

Phase transitions of liquid-liquid type with convection /
著者:: Hoffmann, K.-H.

A duality-type method for the design of beams /
著者:: Sprekels, Jurgen.

Data Mining (The Textbook)
著者:: Aggarwal, Charu C.
出版事項: (2015)

On types of degenerate critical points of real polynomial functions
著者:: Guo, Feng, 等
出版事項: (2021)

Brackets and slashes, stars and dots : Understanding the notation of linguistic types /
著者:: Heitner, Reese M.