János Csorba

Publication Activity (10 Years)

Years Active: 2011-2012
Publications (10 Years): 0

Top Topics

Logic Programming

Proof Theoretic

Constraint Logic Programming

Top Venues

ICLP (Technical Communications)

Publications

Zsolt Zombori, János Csorba, Péter Szeredi
Static Type Inference for the Q language using Constraint Logic Programming. ICLP (Technical Communications) (2012)
Zsolt Zombori, János Csorba, Péter Szeredi
Static Type Checking for the Q Functional Language in Prolog. ICLP (Technical Communications) (2011)
János Csorba, Zsolt Zombori, Péter Szeredi
Using Constraint Handling Rules to Provide Static Type Analysis for the Q Functional Language CoRR (2011)