Lambda the Ultimate
User loginNavigation |
Applied Type SystemHongwei Xi, creator of DML and Xanadu, the ad hoc dependently typed programming languages, is developing ATS. It has several imporvemens over previous work, including object orientation and safe pointer arithmetic. By Jim Apple at 2005-05-11 12:16 | LtU Forum | previous forum topic | next forum topic | other blogs | 3759 reads
Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more) Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation |
Browse archivesActive forum topics |