Dorel Lucanu

Aricolul lui Andrei si Vlad: http://www.sciencedirect.com/science/article/pii/S2352220816301390?via%3Dihub#br0370 Dorel On 11/01/2018 12:09, Aljoscha Meyer wrote: > > Running |mvn package| fails when using Java version 9, due to ambiguos > type references....

I expected that the kast generated with 3.6 can be compiled with K 3.6, but it seems that it doesn't. When I started the teaching, K 4.0 was not released...

This is a bit unexpected for me. I know that KLabel is replaced with Symbol (or something like that) in the new ML approach, but I expect the user to...

Thank you very much for the detailed explanations. In the new ML-based approach does it make sense to clearly separate object level and metalevel. The only thing not clear for...