generated at
2/18/2025, 7:00:58 PM
『Type and Effect Systems』
Effect System
の
論文
http://www.imm.dtu.dk/~fnie/Papers/NiNi99tes.pdf
Flemming Nielson
Hanne Riis Nielsen