Travelled to:
1 × Brazil
1 × Italy
3 × USA
Collaborated with:
M.Ferreira S.Broda R.Milner H.Conceição J.Barros
Talks about:
princip (2) type (2) wam (2) function (1) special (1) program (1) multipl (1) inhabit (1) environ (1) analysi (1)
Person: Luís Damas
DBLP: Damas:Lu=iacute=s
Contributed to:
Wrote 5 papers:
- SAC-2008-ConceicaoDFB #scalability #simulation
- Large-scale simulation of V2V environments (HC, LD, MF, JB), pp. 28–33.
- PADL-2003-FerreiraD #analysis
- WAM Local Analysis (MF, LD), pp. 286–303.
- PADL-1999-FerreiraD #multi
- Multiple Specialization of WAM Code (MF, LD), pp. 243–258.
- TLCA-1999-BrodaD
- Counting a Type’s Principal Inhabitants (SB, LD), pp. 69–82.
- POPL-1982-DamasM #functional #source code
- Principal Type-Schemes for Functional Programs (LD, RM), pp. 207–212.