merd's home page
Description
excerpt from site's contentmerd like expressivity static type checks a la 09/01/2003 This project is currently on hold Nothing is really usable yet though quite a few things are working I will keep on adding and modifying the documentation especially concerning similar projects is the mailing list about merd development A forum and various stuf...
Domain Resolution
This domain resolves to the following IP addresses:This is an automatically generated AboutUs page for merd.sourceforge.net. Click the "Edit" button at the top of the page to make changes. Please read our Getting Started page if you need any help.
Categories:
- AboutUs AutoGen
- programming language
- scripting
- type inference
- ML
- OCaml
- type classes
- mix-ins
- parametric polymorphism
- open world types
- structural equivalence
- soft-typing
- type-indexed rows
- overloading
- multi-method
- subtyping
- bounded quantification
- union types
- first-class types
- WYSIHIIP
- indentation based grouping
- staged computation
- free software