- 授权协议: LGPL
- 开发语言: C# .NET
- 操作系统: Windows
软件介绍
ccPort是驰骋公司推向社会的100%开源的企业一站式解决方案,采用LGPL友好的商业开源协议,下载使用ccPort系列产品请尊重开发者的劳动。
ccPort包含:权限管理CCGPM、单点登录CCSSO、工作流引擎CCFlow、表单引擎CCForm、即时通讯CCIM、驰骋CCOA六大产品线。
这六大产品线,统一技术标准、统一开发语言.net4.0、统一组织结构、统一设计思想,支持SQLServer,Oracle,Infomix,MySQL系列数据库。
ccflow是整体产品线的核心、是国内用户量最大、拥有爱好者、研究者最多的BPM产品,服务于国内外各行各业。
ccgpm是整体产品线的基础,它提供组织结构管理、权限管理、系统集成、系统日志管理,为各个系统提供基础数据、权限数据,为其他应用系统提供标准接口。
The Little Typer
Daniel P. Friedman、David Thrane Christiansen、Duane Bibby、Robert Harper、Conor Mcbride / MIT Press / 2018-10-16 / GBP 30.00
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time. A program's type describes its behavior. Dependent types are a first-class part of a language, and are......一起来看看 《The Little Typer》 这本书的介绍吧!
