Sesión 12: Lenguajes Listado de artículos correspondientes a la sesión Lenguajes Processing an Intermediate Representation Written in LispSynthesizing Invariants for Arrays (Work in Progress)Comparing MapReduce and Pipeline implementations for Counting Triangles