Web Site Information :.

Site Info    Whois    Traceroute    RBL Check

• Site Info
• Who Is
• Trace Route
• RBL Check
• What's My IP?
• Web Search

Enter Web Site URL Address:
 

Top / Computers / Programming / Languages / Functional /

BitC Language Specification BitC is a systems programming language that combines the low level nature of C with the semantic rigor of Scheme or ML. http://www.bitc-lang.org/docs/bitc/spec.html Bitc-lang.org  ~   Site Info   Whois   Trace Route   RBL Check   Lemon 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. http://people.cis.ksu.edu/~bhoward/lemon.html Ksu.edu  ~   Site Info   Whois   Trace Route   RBL Check   Arbol Functional language developed mainly for Genetic Programming experiments. Inspired by ideas of other small, esoteric languages (Unlambda, Lazy K, Joy, Iota, Zot, ...), and pure functional Haskell. http://imonad.com/arbol/ Imonad.com  ~   Site Info   Whois   Trace Route   RBL Check

Page 4/4« Previous1234Next »

Go to page: