TYPE CHECKING
Experts
- Gilles Barthe
- Frank Pfenning
- Ferruccio Damiani
- Frédéric Blanqui
- Jeffrey S. Foster
- Benjamin Grégoire
- Andreas Abel
- Martin Odersky
- Atsushi Ohori
- Jan Van den Bussche
- John C. Mitchell
- Davide Ancona
- Eelco Visser
- Véronique Benzaken
- Dario Colazzo
- Walter Binder
- Thierry Coquand
- Irina Trubitsyna
- Sebastian Erdweg
- Paris C. Kanellakis
- Martin Sulzmann
- Stephen N. Freund
- Simona Ronchi Della Rocca
- Giorgio Ghelli
- Robert Harper
- Naoki Kobayashi
- Oscar H. Ibarra
- Peter Thiemann
- Sergio Greco
- Makoto Tatsuta
- Sebastian Maneth
- James Cheney
- Simon L. Peyton Jones
- Jürgen Giesl
- Kwanghoon Choi
- Marco Gaboardi
- Daniel Hirschkoff
- Florian Frohn
- Andres Löh
Venues
- CoRR
- Theor. Comput. Sci.
- POPL
- LICS
- Electron. Notes Theor. Comput. Sci.
- Inf. Comput.
- Sci. Comput. Program.
- J. Funct. Program.
- ESOP
- Proc. ACM Program. Lang.
- OOPSLA
- PLDI
- RTA
- ACM Trans. Program. Lang. Syst.
- Math. Struct. Comput. Sci.
- Symmetry
- Inf. Process. Lett.
- PEPM
- DBPL
- MFCS
- Log. Methods Comput. Sci.
- CSL
- SAC
- TLCA
- ICALP
- Ann. Pure Appl. Log.
- J. Log. Algebraic Methods Program.
- J. Comput. Syst. Sci.
- ECOOP
- Comput. J.
- ICFP
- J. Autom. Reason.
- Fundam. Informaticae
- PPDP
- J. Symb. Log.
- RFC
- ACM Trans. Database Syst.
- ACM SIGPLAN Notices
- ADT
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend