Вы здесь

Главная

система типов

Связанные издания:

A Type System for Reachability and Acyclicity
Foundations of Software Science, FOSSACS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 2018
Implementation and Application of Functional Languages: Revised Selected Papers/20th International Symposium, IFL 2008, Hatfield, UK, September 2008
Implementation and Application of Functional Languages: Revised Selected Papers/22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 2010
Integrated Formal Methods: Proc./11th International Conference, IFM 2014, Bertinoro, Italy, September 2014
Logic and Grammar: Essays Dedicated to Alain Lecome on the Occasion of His 60th Birthday
Programming Languages and Systems: Proc./11th Asian Symposium, APLAS 2013, Melbourn,VIC,Australia, December 2013
Programming Languages and Systems: Proc./12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 2014
Programming Languages and Systems: Proc./18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 2020
Programming Languages and Systems: Proc./26th European Symposium on Programming, ESOP 2017 Held as Part of ETAPS 2017, Uppsala, Sweden, April 2017
Programming Languages and Systems: Proc./27th European Symposium, ESOP 2018 Held as Part of ETAPS 2018, Thessaloniki, Greece, April 2018
Programming Languages and Systems: Proc./28th European Symposium on Programming, ESOP 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 2019
Transactions on Aspect-Oriented Software Development XI
Trends in Functional Programming: Revised Selected Papers/17th International Conference, TFP 2016, College Park,MD,USA, June 2016
Type-based information flow analysis for the pi-calculus
Промежуточное представление программ для описания типов в терминах сопоставления значений с образцом
Система типов языков программирования