...
机译:Java和Lambda:轻量级故事
机译:使用QuickCheck生成随机的类型良好的轻量级Java程序
机译:轻量级Java的上下文相关类型检查器
机译:轻量级Java的上下文相关类型检查器
机译:轻量级Java是Java和GJ的最小核心演算
机译:从“讲变性故事”到“变性人讲故事”:变性文学和Lambda文学奖,1997-2017年
机译:CELLmicrocosmos工具:基于Java的细胞和膜建模开源软件开发的悠久历史
机译:羽量级Java - Java和GJ的最小核心微积分
机译:羽量级Java的类型保留编译