You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
home-library/README.html

5.5 KiB

home lib

Функциональщина

ОМП

Теория языков программирования

  • github/steshaw. plt,” 2023. [Online; accessed 21. Apr. 2023]. https://github.com/steshaw/plt.
  • Programming Language Foundations in Agda Table of Contents,” 2023. [Online; accessed 21. Apr. 2023; nice reference]. https://plfa.github.io.
  • Misra, Jayadev. Effective Theories in Programming Practice, 2023. Vol. 47.

Логика

Базы данных

Языки

R

Haskell