An adequate, denotational, functional-style semantics for typed FlatCurry without Letrec

Bibliographische Detailangaben

1. Verfasser:	Christiansen, Jan (VerfasserIn)
Weitere Verfasser:	Seidel, Daniel (VerfasserIn), Voigtländer, Janis (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Bonn Sekretariat für Forschungsberichte, Inst. für Informatik III 2011
Schriftenreihe:	Technical Report / Institut für Informatik III 2011,1
Schlagworte:	Forschungsbericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!