Two-level functional languagesde Flemming NielsonMateriasFunctional programming languagesComputational linguisticsLambda calculusCombinatory logicEdiciones (1)Two-level functional languages (1992)Cambridge University Press · inglésMás obras de Flemming NielsonSemantics with applicationsType and effect systemsFormal MethodsML with Concurrency