搜索资源列表
hmake
- Haskell是一种程序语言。特别的,它是多态类型,懒惰的,纯的函数式语言,与大多数其它编程语言不同。 该语言被命名为Haskell Brooks Curry。它是以数学逻辑为基础的函数式语言,基于lambda演算。 为什么使用Haskell? 写一个能工作的大型的软件系统是很困难的而且很昂贵的。维护这个系统甚至更加困难和昂贵。函数式程序语言,例如Haskell,能够使之变得简单而且廉价。 附件为Haskell编译器源代码-Haskell is a programming langu
quadprog
- function [X,fval,exitflag,output,lambda]=quadprog(H,f,A,B,Aeq,Beq,lb,ub,X0,options,varargin) % X=QUADPROG(H,f,A,b) 求解二次规划: % min 0.5*x *H*x + f *x subject to: A*x <= b %x=quadprog(H,f, A, b, Aeq, beq)求解二次规划:-function [X, fval, exitflag, out
csnail
- 一个新型的动态语言,用c++写的, 语法结合了python和javascr ipt,加强了lambda语句,可以支持面向对象, 面向过程的编程范式, 有动态语言的天生优势, 泛型是水到渠成了
Program-langs
- lambda计算 lambda计算-lambda calc
10.1.1.144.9752
- lambda计算 lambda计算 -lambda calc
10.1.1.44.5351
- lambda计算 lambda计算 -lambda calc
lambda-usage
- C++0x中lambda的使用, 感觉lambda好强大呀, 这个只是对lambda使用的初步-C++ 0 x lambda use, feel good lambda powerful ah, this only for the use of lambda preliminary!!!!!!
LAMBDA
- GPS载波相位测量中LAMBDA算法整周模糊度求解程序;是GPS姿态动态测量入门级算法。-ambiguity solution for gps in carrier measurement,is the basic algrithom for gps attitude measurement on the fly.
LAMBDA
- 利用lambda方法编写整周模糊度求解的程序-compute the integer week ambiguity by method of lambda。
lambda
- Lambda 运算式」(Lambda Expression) 是一种匿名函式,它可以包含运算式和陈述式 (Statement),而且可以用来建立委派 (Delegate) 或运算式树状架构型别。-MS lambda
LAMBDA
- GPS中lambda算法的MATLAB 实现-GPS in the lambda algorithm in MATLAB
LAMBDA
- 差分GPS整周模糊度的的经典解算算法——LAMBDA算法及基线的实时解算-Classic Differential GPS ambiguity of the solver algorithm and real-time solution algorithm LAMBDA baseline count
lambda
- 采用整数最小二乘的LAMBDA算法,内有详细的注释和流程-LAMBDA algorithm using Integer Least Squares
LAMBDA
- 根据输入参数完成基于LAMBDA方法的双差整周模糊度固定仿真,以实现载波相位伪距双差模式相对定位中最关键和复杂的计算模块。(Fixed ambiguity simulation based on LAMBDA method is completed according to the input parameters to realize the most critical and complex calculation module of carrier phase pseudorange do
Ps-LAMBDA
- lambda method for AR
LAMBDA3
- 集中模糊度固定方法的整合,包含算例,说明,比较完整(several ways of lambda)
LAMBDA算法
- 实现lambda算法的软件,软件说明在ppt文档里面,还有关于整周模糊度解算方法的简介
《A tutorial implementation of a dependently typed Lambda Calculus》
- 《A tutorial implementation of a dependently typed Lambda Calculus》
《An Introduction to Functional Programming through Lambda Calculus》
- 《An Introduction to Functional Programming through Lambda Calculus》
《Programming Languages and Lambda Calculus》
- 《Programming Languages and Lambda Calculus》