| Projects on Google Code | Results 1 - 10 of 19 |
Response to Martin Odersky's code challenge on scala list regarding scalable abstractions for a little lambda interpreter.
The crucial thing is to be able to implement methods (and, in the case
of Scala, types)
in subclasses. That way, the unknown part of an abstraction can be
left open in a c...
Rapture automatically proves theorems using resolution engine.
In current incarnation it implements a naive resolutions method for a subset of first-order logic, which allows it to prove simple facts. Rapture is implemented in C# 3.0 and currently supports only Microsoft .NET Framework of version...
<table><tr>
<td valign="top">
===lambdaj news:===
* *lambdaj 2.1 has been released. Take a look to the [http://code.google.com/p/lambdaj/wiki/Lambdaj21ReleaseNotes release notes]*
* *if you are interested in this project [http://groups.google.com/group/lambdaj join] the lambdaj user grou...
lambda,
java,
functional,
group,
select,
aggregation,
literateprogramming,
dsl,
map,
filter,
closure,
curry
cl-op is a partial application and partial evaluation library for Common Lisp inspired by [http://people.csail.mit.edu/jrb/goo/manual.46/goomanual_15.html#17 Goo's op function] and [http://srfi.schemers.org/srfi-26/srfi-26.html SRFI 26 (Notation for Specializing Parameters without Currying)].
= ...
partial-application,
currying,
Common-Lisp,
apply,
funcall,
lambda,
functional-programming,
cl,
partial-evaluation,
lisp
= Implementing a Dependently-Typed Lambda Calculus =
Welcome to our COMP 527 project webpage on _implementing a dependently-typed lambda calculus_.
In this project we will try to learn about simply-typed and dependently-typed lambda calculus, experiment with different implementations, and make...
Enables anyone to leverage the elegance of lisp on a standard lamp stack as it takes lisp and translates it to php.
The initial goal is to implement a complete implementation of r5rs scheme (see here: http://www.schemers.org/Documents/Standards/R5RS) Yes that means macros and tail call eliminati...
Part of the GLIF GNI API effort
The project contains some normal technology testing kits,just private
memorycache
ncache
log4net
lambda
javasricpt framework
reporting
chart control
webcontrol
...
it read a regex and validate it
Eclipse JDT extension to visually collapse (fold)
anonymous inner classes to concise lambda expressions (closures) in Java Editor.
Author believe that main problem of anonymous inner classes is not their a somewhat limited semantic (yeah, they aren't real full blown closures!) but verbosity of d...