Travelled to:
1 × Japan
Collaborated with:
C.Sattler
Talks about:
polymorph (1) complet (1) system (1) stream (1) equat (1) ture (1)
Person: Florent Balestrieri
DBLP: Balestrieri:Florent
Contributed to:
Wrote 1 papers:
- RTA-2012-SattlerB #equation #polymorphism
- Turing-Completeness of Polymorphic Stream Equation Systems (CS, FB), pp. 256–271.