ir. A. (Alejandro) Serrano Mena
A.SerranoMena@uu.nl
Gegenereerd op 2018-01-21 15:56:55


Gegenereerd op 2018-01-21 15:56:55
All publications
  2017 - Scholarly publications
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
  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-01-21 15:56:55
Additional functions and activities

None

Gegenereerd op 2018-01-21 15:56:55
Full name
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-01-21 15:56:55
Last updated 12.10.2017