ABSTRACT DATA TYPES
Experts
- Jan A. Bergstra
- John V. Tucker
- Manfred Broy
- Hartmut Ehrig
- William E. Weihl
- Carlos Baquero
- Martin Wirsing
- Peter D. Mosses
- Christoph Beierle
- Peter Padawitz
- Jifeng He
- Jeffery I. Zucker
- Hans-Jörg Kreowski
- Eric G. Wagner
- T. S. E. Maibaum
- Huibiao Zhu
- Margaret M. Burnett
- Martin Odersky
- Alberto Pettorossi
- Zong Min Ma
- Hans-Dieter Ehrich
- Fabio Fioravanti
- Emanuele De Angelis
- Nuno M. Preguiça
- Peter Raulefs
- Tobias Nipkow
- Maurizio Proietti
- Li Yan
- Martin Erwig
- Axel Poigné
- Paulo Sérgio Almeida
- Wolfgang K. Giloi
- F. Warren Burton
- Marc Shapiro
- Barrett R. Bryant
- José Meseguer
- Marie-Claude Gaudel
- Fernando Orejas
- Ralf Hartmut Güting
Venues
- CoRR
- ACM SIGPLAN Notices
- SIGCSE
- Theor. Comput. Sci.
- POPL
- ADT
- ACM Conference on Computer Science
- Commun. ACM
- ACM Trans. Program. Lang. Syst.
- Acta Informatica
- ASPLOS
- ESOP
- Softw. Pract. Exp.
- Proc. ACM Program. Lang.
- Comput. J.
- ICDE
- MFCS
- Electron. Notes Theor. Comput. Sci.
- SIGMOD Conference
- Sci. Comput. Program.
- VLDB
- ICALP
- Inf. Softw. Technol.
- IEEE Trans. Software Eng.
- OOPSLA
- Formal Aspects Comput.
- Comput. Lang.
- J. Funct. Program.
- LICS
- PLDI
- Inf. Syst.
- COMPASS/ADT
- ACM SIGCSE Bull.
- SIGMOD Rec.
- ICSE
- ACM Annual Conference
- IFIP Congress
- J. Log. Algebraic Methods Program.
- MFPS
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend