Travelled to:1 × Hungary
1 × USA
Collaborated with:Z.Zombori P.Szeredi
Talks about:languag (2) static (2) type (2) constraint (1) function (1) program (1) prolog (1) logic (1) infer (1) check (1)
Person: János Csorba
DBLP: Csorba:J=aacute=nos
Contributed to:
20122011Wrote 2 papers:
- ICLP-2012-ZomboriCS #constraints #logic programming #static typing #type inference #using
- Static Type Inference for the Q language using Constraint Logic Programming (ZZ, JC, PS), pp. 119–129.
- ICLP-2011-ZomboriCS #functional #prolog #static typing #type checking
- Static Type Checking for the Q Functional Language in Prolog (ZZ, JC, PS), pp. 62–72.