ABSTRACT DATA TYPES
Experts
- Jan A. Bergstra
- Hartmut Ehrig
- Manfred Broy
- John V. Tucker
- William E. Weihl
- Carlos Baquero
- Martin Wirsing
- Christoph Beierle
- Peter D. Mosses
- Hans-Jörg Kreowski
- T. S. E. Maibaum
- Peter Padawitz
- Eric G. Wagner
- Jeffery I. Zucker
- Jifeng He
- Hans-Dieter Ehrich
- Zong Min Ma
- Maurizio Proietti
- Alberto Pettorossi
- Fabio Fioravanti
- Margaret M. Burnett
- Martin Erwig
- Tobias Nipkow
- Peter Raulefs
- Huibiao Zhu
- Emanuele De Angelis
- Li Yan
- Nuno M. Preguiça
- Martin Odersky
- Marc Shapiro
- Ronald A. Olsson
- Peter Buneman
- Wolfgang K. Giloi
- Barrett R. Bryant
- Yingxu Wang
- Michael Stonebraker
- Udo Pletat
- Marie-Claude Gaudel
- F. Warren Burton
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
- Softw. Pract. Exp.
- ESOP
- Comput. J.
- ICDE
- Electron. Notes Theor. Comput. Sci.
- MFCS
- Proc. ACM Program. Lang.
- SIGMOD Conference
- Sci. Comput. Program.
- VLDB
- ICALP
- IEEE Trans. Software Eng.
- Inf. Softw. Technol.
- OOPSLA
- PLDI
- Formal Aspects Comput.
- Comput. Lang.
- LICS
- J. Funct. Program.
- Inf. Syst.
- COMPASS/ADT
- ICSE
- ACM Annual Conference
- IFIP Congress
- ACM SIGCSE Bull.
- SIGMOD Rec.
- SAC
- MFPS
Related Topics
Related Keywords
Popularity