MetaDirectory
See also:
- Computers: Parallel Computing: Programming: Languages (34)
- Computers: Programming: Languages: Functional (48)
- Computers: Programming: Languages: Garbage Collected (4)
- Computers: Programming: Languages: Haskell (64)
- Clean
The Software Technology Research Group develops this pure, lazy functional programming language, with hybrid static/dynamic typing, and Integrated Development Environment (IDE) with syntax coloring editor; descriptions, papers, software downloads. - Clean Game Library
Full development system for 2D games: arcade, side scrollers, platform games. - The Game of Life
Life: A Clean Programming Tutorial and Case Study. Tutorial for this functional language, in the form of a stepwise development of 2 programs to animate Conway's Game of Life. - Sparkle
Clean theorem prover, can help prove partial correctness of programs, or useful traits of parts of programs; proof process uses hint mechanism, suggests proof actions to user; windowing user interface shows content graphically in windows that can be resized, moved, closed at will. - Wikipedia: Clean Programming Language
Encyclopedia article, with links to many related topics.
|

