Web Directory
 

Lemon

  Link Details for: Lemon
Link Title: Lemon Open in a new window
Link URL: http://www.cis.ksu.edu/~bhoward/lemon.html
Link Details: Functional language with inductive and coinductive types. Based on simply-typed lambda calculus augmented with sums, products, and mu and nu constructors for least (inductive) and greatest (coinductive) solutions to recursive type equations.
Category: Top : Computers : Programming : Languages : Functional
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
Lemon