| Energy Consumption Analysis of Programs based on XMOS ISA-Level Models S Kerrison, U Liqat, K Georgiou, A Serrano, N Grech, P Lopez-Garcia, ... Pre-proceedings of the 23rd International Symposium on Logic-Based Program …, 2013 | 90* | 2013 |
| Resource usage analysis of logic programs via abstract interpretation using sized types A Serrano, P López-García, MV Hermenegildo Theory and Practice of Logic Programming 14 (4-5), 739-754, 2014 | 63 | 2014 |
| A quick look at impredicativity A Serrano, J Hage, S Peyton Jones, D Vytiniotis Proceedings of the ACM on Programming Languages 4 (ICFP), 1-29, 2020 | 31 | 2020 |
| Type error diagnosis for embedded DSLs by Two-Stage specialized type rules A Serrano, J Hage Proceedings of the 25th European Symposium on Programming Languages and …, 2016 | 31 | 2016 |
| Guarded impredicative polymorphism A Serrano, J Hage, D Vytiniotis, S Peyton Jones Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018 | 30 | 2018 |
| Beginning Haskell: A Project-Based Approach AS Mena Apress, 2014 | 16 | 2014 |
| Sized Type Analysis for Logic Programs (technical communication) A Serrano Mena, P López García, F Bueno Carrillo, MV Hermenegildo Theory and Practice of Logic Programming 13 (4-5 (S), 1-15, 2013 | 15 | 2013 |
| Dipgame: A testbed for multiagent systems A Fabregues, D Navarro, A Serrano, C Sierra Proceedings of the 9th International Conference on Autonomous Agents and …, 2010 | 12 | 2010 |
| Generic programming of all kinds A Serrano, VC Miraldo Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, 41-54, 2018 | 10 | 2018 |
| Sums of products for mutually recursive datatypes: the appropriationist’s view on generic programming VC Miraldo, A Serrano Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven …, 2018 | 9 | 2018 |
| Type Error Customization for Embedded Domain-Specific Languages A Serrano Utrecht University, 2018 | 9 | 2018 |
| Type Error Customization in GHC: Controlling expression-level type errors by type-level programming A Serrano, J Hage Proceedings of the 29th Symposium on the Implementation and Application of …, 2017 | 9 | 2017 |
| A compiler architecture for domain-specific type error diagnosis A Serrano, J Hage Open Computer Science 9 (1), 33-51, 2019 | 8 | 2019 |
| Type families with class, type classes with family A Serrano, J Hage, P Bahr Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, 129-140, 2015 | 7 | 2015 |
| Generic Matching of Tree Regular Expressions over Haskell Data Types A Serrano, J Hage Practical Aspects of Declarative Languages, 83-98, 2016 | 6 | 2016 |
| Lightweight soundness for towers of language extensions A Serrano, J Hage Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and …, 2017 | 4 | 2017 |
| Context-dependent type error diagnosis for functional languages A Serrano, J Hage Technical Report UU-CS-2016-011, Department of Information and Computing …, 2016 | 4 | 2016 |
| Constraint handling rules with binders, patterns and generic quantification A Serrano, J Hage Theory and Practice of Logic Programming 17 (5-6), 992-1009, 2017 | 3 | 2017 |
| From attribute grammars to constraint handling rules A Serrano, J Hage Technical Report UU-CS-2016-010, Department of Information and Computing …, 2016 | 2 | 2016 |
| Type Directives and Type Graphs in Elm F Peijnenburg, J Hage, A Serrano Proceedings of the 28th Symposium on the Implementation and Application of …, 2016 | 2 | 2016 |
Jurriaan HageFull professor, Heriot-Watt University, Scotland確認したメール アドレス: hw.ac.uk