Veröffentlichungen
März 2015
So Mo Di Mi Do Fr Sa
1234567
891011121314
15161718192021
22232425262728
293031 
DBApp-Suche

Application datasets: 19677 Version datasets: 131859
DBApp v1.06
Copyright © demon
Werbung
  libmx

libmx stellt ein Framework zur Behandlung von (erweiterten und optional typisierten) Lambda-Ausdrücken bereit. Unter anderem enthält es eine Template-Instantiierungsmaschine zum Auswerten des Ausdrucks, eine Template-Instantiierungsmaschine zum Auswerten von Hindley-Milner-Ausdrücken und eine Speicherverwaltung auf Basis von Referenzzählern für Lambda-Ausdrücke und Typen. (non)


 

Homepage: http://libmx.sourceforge.net/
Rating:
Lizenz: GNU General Public License Version 2
Kategorie: Konsole
 
 

.: Hauptzweig
2013-09-01  0.2  Kleinere neue Funktionen  mehr...  
 
  Angaben ändern   Neue Version melden