János Csorba

According to our database, János Csorba authored at least 3 papers between 2011 and 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2012

Static Type Inference for the Q language using Constraint Logic Programming.

Zsolt Zombori, János Csorba, Péter Szeredi

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

2011

Using Constraint Handling Rules to Provide Static Type Analysis for the Q Functional Language

János Csorba, Zsolt Zombori, Péter Szeredi

CoRR, 2011

Static Type Checking for the Q Functional Language in Prolog.

Zsolt Zombori, János Csorba, Péter Szeredi

Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011