On Sapphire and type-safe languages

被引：2

作者：

Wright, A

机构：

来源：

关键词：

D O I：

10.1145/641205.641237

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：120 / 120

页数：1

共 50 条

[21] Type-safe concurrent resource sharing
Wittie, Lea
Lockhart, Jonathan
CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2011, 23 (08): : 767 - 795
[22] Type-Safe Observable Sharing in Haskell
Gill, Andy
HASKELL'09: PROCEEDINGS OF THE 2009 ACM SIGPLAN HASKELL SYMPOSIUM, 2009, : 117 - 128
[23] Type-safe dynamic update transaction
Zhang, Shi
Huang, LinPeng
COMPSAC 2007: THE THIRTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL II, PROCEEDINGS, 2007, : 335 - +
[24] Proposal for making Eiffel type-safe
Cook, W.R., 1600, (32):
[25] A PROPOSAL FOR MAKING EIFFEL TYPE-SAFE
COOK, WR
COMPUTER JOURNAL, 1989, 32 (04): : 305 - 311
[26] Type-Safe Diff for Families of Datatypes
Lempsink, Eelco
Leather, Sean
Loh, Andres
WGP'09: PROCEEDINGS OF THE 2009 ACM SIGPLAN WORKSHOP ON GENERIC PROGRAMMING, 2009, : 61 - 72
[27] Type-Safe Code Transformations in Haskell
Guillemette, Louis-Julien
Monnier, Stefan
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 174 (07) : 23 - 39
[28] WHAT IS TYPE-SAFE CODE REUSE
PALSBERG, J
SCHWARTZBACH, MI
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 512 : 325 - 341
[29] A Type-Safe Embedding of XDuce into ML
Sulzmann, Martin
Lu, Kenny Zhuo Ming
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 148 (02) : 239 - 264
[30] Type-safe Quantum Programming in Idris
Dandy, Liliane-Joy
Jeandel, Emmanuel
Zamdzhiev, Vladimir
PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2023, 2023, 13990 : 507 - 534