Gofer

MaRDI QIDQ33985swMATHFDO

Official website http://wiki.c2.com/?GoferLanguage

Cited in

(4)

• Übungen zur Einführung in die Informatik
• Decidability of behavioural equivalence in unary PCF
• Generating power of lazy semantics
• Programming Languages and Systems

This page was built for software: Gofer