dr. ir. A. (Alejandro) Serrano Mena
A.SerranoMena@uu.nl
Gegenereerd op 2018-08-21 04:01:36


Gegenereerd op 2018-08-21 04:01:36
All publications
  2018 - Scholarly publications
Serrano, Alejandro (23.04.2018). Type Error Customization for Embedded Domain-Specific Languages. (235 p.).
  2017 - Scholarly publications
Serrano, Alejandro & Hage, J. (2017). Constraint Handling Rules with Binders, Patterns and Generic Quantification. Theory and Practice of Logic Programming, 17 (5-6), (pp. 992-1009) (18 p.).
Serrano Mena, A. (01.09.2017) Invited speaker Implementation and Application of Functional Languages Bristol (30.08.2017 - 01.09.2017) Constraint Handling Rules with Scopes
Serrano Mena, A. (20.03.2017) Visiting researcher Microsoft Research Cambridge
Serrano Mena, A. (30.08.2017) Invited speaker Implementation and Application of Functional Languages Bristol (30.08.2017 - 01.09.2017) Type Error Customization in GHC
  2016 - Scholarly publications
Serrano Mena, A. & Hage, J. (01.09.2016). Generic Matching of Tree Regular Expressions over Haskell Data Types. Practical Aspects of Declarative Languages - 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings (pp. 83-98) (16 p.). Springer.
Serrano Mena, A. & Hage, J. (22.03.2016). Type Error Diagnosis for Embedded DSLs by Two-Stage Specialized Type Rules. Programming Languages and Systems - 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings (pp. 672-698) (27 p.). Springer.
Serrano Mena, A. & Hage, J. (31.08.2016). Typed and Monadic Constraint Handling Rules with Priorities and Disjunction. IFL 2016 Accepted Presentations
  2014 - Scholarly publications
Serrano Mena, Alejandro, López-García, Pedro & Hermenegildo, Manuel (2014). Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types. Theory and Practice of Logic Programming, 14 (4-5), (pp. 739-754) (16 p.).
  2014 - Professional publications
Serrano Mena, Alejandro (31.01.2014). Beginning Haskell. (428 p.). Apress.
^ top
Gegenereerd op 2018-08-21 04:01:36
Additional functions and activities

None

Gegenereerd op 2018-08-21 04:01:36
Full name
dr. ir. A. Serrano Mena Contact details
Buys Ballotgebouw

Princetonplein 5
Room BBG570
3584 CC  UTRECHT
The Netherlands


Phone number (direct) +31 30 253 2283
Phone number (department) +31 30 253 4109
Gegenereerd op 2018-08-21 04:01:36
Last updated 12.10.2017