FUNCTIONAL PROGRAMS
Experts
- Yoshihito Toyama
- Alberto Pettorossi
- Maurizio Proietti
- Joost-Pieter Katoen
- Masahiko Sakai
- Naoki Nishida
- Rolf Drechsler
- Germán Vidal
- Naoki Kobayashi
- Kung-Kiu Lau
- Robert Wille
- Takahito Aoto
- Manuel V. Hermenegildo
- Ricardo Rocha
- Jan Willem Klop
- Jeff B. Paris
- Luís Moniz Pereira
- Mario Ornaghi
- Michael Hanus
- Nachum Dershowitz
- Étienne Payet
- Colin Runciman
- Frédéric Mesnard
- Pierre Flener
- Roderick Bloem
- Jean-François Raskin
- Milan Ceska
- Olaf Chitil
- Sebastian Junges
- Zohar Manna
- Ryosuke Sato
- Thomas W. Reps
- Emmanuel Filiot
- Marco Comini
- Alan Bundy
- Nadia Polikarpova
- Fabio Fioravanti
- Hans Tompits
- Jia-Huai You
Venues
- CoRR
- LOPSTR
- Theor. Comput. Sci.
- ICLP
- RTA
- Proc. ACM Program. Lang.
- ICMC
- Electron. Notes Theor. Comput. Sci.
- IJCAI
- POPL
- J. Log. Program.
- IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
- Inf. Process. Lett.
- J. Symb. Comput.
- Theory Pract. Log. Program.
- IEEE Trans. Computers
- Sci. Comput. Program.
- VLSI Design
- DAC
- Inf. Comput.
- ICCAD
- Comput. J.
- ACM Trans. Program. Lang. Syst.
- AAAI
- LICS
- J. Autom. Reason.
- J. Funct. Program.
- DATE
- Commun. ACM
- LPNMR
- ICFP
- SAS
- Ann. Pure Appl. Log.
- Log. Methods Comput. Sci.
- LPAR
- ESOP
- CADE
- PLILP
- CAV (1)
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend