函数式程序相关论文
随着信息技术的迅速发展,人们对于软件功能和开发效率的要求与日俱增。程序合成旨在自动生成满足给定规约的程序,作为应对该挑战的......
针对函数式程序模板元编程的通用性问题,以应用类型系统ATS(Applied Type System)为例,提出了一种基于元建模的模板元编程实现方法......
