Navegar

Colección

Datos Estadísticas

Lista de

Pattern matching
9
"A Tool for Introducing Computer Science with Automatic Formative Assessment" (2018) Benotti, L.; Martínez, M.C.; Schapachnik, F. IEEE Transactions on Learning Technologies. 11(2):179-192
"Ecient type checking for path polymorphism" (2018) Edi, J.;Viso, A.;Bonelli, E. (...)European Regional Development Fund 21st International Conference on Types for Proofs and Programs, TYPES 2015. 69:61-623
"Ecient type checking for path polymorphism" (2018) Edi, J.;Viso, A.;Bonelli, E. (...)European Regional Development Fund 21st International Conference on Types for Proofs and Programs, TYPES 2015. 69:61-623
"Type Soundness for Path Polymorphism" (2016) Viso, A.; Bonelli, E.; Ayala-Rincón, M. Electronic Notes in Theoretical Computer Science. 323:235-251
"Type Soundness for Path Polymorphism" (2016) Viso, A.; Bonelli, E.; Ayala-Rincón, M. Electronic Notes in Theoretical Computer Science. 323:235-251
"A finite state intersection approach to propositional satisfiability" (2012) Castaño, J.M.; Castaño, R. Theoretical Computer Science. 450:92-108
"The -λ Calculus with constructors: Syntax, confluence and separation" (2009) Arbiser, A.; Miquel, A.; Ros, A. Journal of Functional Programming. 19(5):581-631
"Aggregation languages for moving object and places of interest" (2008) Gómez, L.I.; Kuijpers, B.; Vaisman, A.A. 23rd Annual ACM Symposium on Applied Computing, SAC'08:857-862
"A lambda-calculus with constructors" (2006) Arbiser, A.; Miquel, A.; Ríos, A. 17th International Conference on Term Rewriting and Applications, RTA 2006. 4098 LNCS:181-196