Home
Music_Metasearch
Music Top Sites
Music Store
AllMusicListings
Concert Listings
Concert Tickets
AllMusicTalk
Chat Rooms
Message Boards
MusicNews
Pop Music News
Pop Music Reviews
Music Business
MP3 News
Community
Blogs
Free Member Blogs
AllMusicPages
Free Web Pages
AllMusicBookmarks
Your Bookmarks
AllMusicFun
Musical Postcards
Relationship Test
Tarot Readings
Numerology
Music Auctions
Auctions
Classifieds
Music Apparel
AllMusicSearch Apparel
Music Store
MP3 Players
Audio Equipment
MP3 Software
Musical Instruments
Music Books
Music Magazines
Music T-Shirts
Alternative Rock
Blues
Broadway & Vocal
Children's
Christian & Gospel
Classic Rock
Classical
Country
Dance & DJ
Folk
Hard Rock & Metal
International
Jazz
Latin Music
Miscellaneous
New Age
Opera & Vocal
Pop
R&B
Rap & Hip-Hop
Rock
Soundtracks
Music Videos
Music DVDs
Implementations (11)
|
- Top/Computers/Programming/Compilers/Functional
- Top/Computers/Programming/Languages/Comparison and Review
- Top/Computers/Programming/Languages/Compiled/Functional
- Top/Computers/Programming/Languages/Functional
- Top/Computers/Programming/Languages/Garbage Collected
- Top/Computers/Programming/Languages/Open Source
Conservative ML extension, has type system to enrich ML with restricted form of dependent types, to allow many interesting program properties: memory safety, termination can be captured in type system and thus be verified while compiling. Description, cod
http://www.cs.bu.edu/~hwxi/DML/DML.html
EML is a framework for specification and formal development of Standard ML programs. Description, publications, tool support, education resources.
http://homepages.inf.ed.ac.uk/dts/eml/
Framework for customizable, retargetable and optimizing compiler back ends, written in Standard ML. Successfully retargeted to many architectures. Deals elegantly with special requirements imposed by execution model of different high-level, typed language
http://cs1.cs.nyu.edu/leunga/www/MLRISC/Doc/html/
SML to Java bytecode compiler, based on Persimmon's MLj.
http://www.dcs.ed.ac.uk/home/mlj/
Standard ML full implementation: compiler and environment, has libraries for MS Windows, X Window. [Open Source]
http://www.polyml.org/
SML/NJ is a compiler and programming environment for SML, with associated libraries, tools, documents. Descriptions, news, downloads (Unix, Windows), literature lists, FAQs, links, contacts. [Open Source, Lucent]
http://www.smlnj.org/
TIL-Two compiler; goal: make compiler for ML-family languages (SML'97, Caml Special Light, KML) that uses types throughout compiling to emit better code without losing safety or correctness; joint effort with Carnegie Mellon. Descriptions, papers, people,
http://www.cs.cornell.edu/info/people/jgm/tilt.html
Self-checking Standard ML compiler, uses Typed Intermediate Languages; while compiling, types are translated with code, type-checking occurs to check compile results; funded by NSF. Descriptions, license, mail list, downloads, links. Carnegie Mellon.
http://www.tilt.cs.cmu.edu/
Last Updated: 2007-04-14 03:47:19
|
The content of this directory is based on the Open Directory and has been modified by AllMusicSearch.com editors
