Veröffentlichungen
November 2017
So Mo Di Mi Do Fr Sa
  12__34
567891011
12131415161718
19202122232425
2627282930 
DBApp-Suche

Application datasets: 20275 Version datasets: 140871
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