7,618 followers
@cartazio @ezyang Kind of like QuickCheck for grammars. Here's one example: https://t.co/eaHjxaI3O8
@cartazio @ezyang Kind of like QuickCheck for grammars. Here's one example: https://t.co/eaHjxaI3O8
An Algorithm for Layout Preservation in Refactoring Transformations http://t.co/Cc4bCKE6EF #springerlink
Cloning in DSLs: Experiments with OCL http://t.co/1q6c3F9w15 #springerlink
Towards Combinators for Bidirectional Model Transformations in Scala http://t.co/Y8g6ONMoVi #springerlink