TY  - JOUR
AU  - Šefl, Vít
TI  - Translating Lambda Calculus into C++ Templates
JF  - LECTURE NOTES IN COMPUTER SCIENCE
J2  - LNCS
VL  - 12834
PY  - 2021
SP  - 95
EP  - 115
PG  - 21
SN  - 0302-9743
DO  - 10.1007/978-3-030-83978-9_5
UR  - https://m2.mtmt.hu/api/publication/32639739
ID  - 32639739
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Pataki, Norbert
TI  - Testing by C++ Template Metaprograms
JF  - ACTA UNIVERSITATIS SAPIENTIAE INFORMATICA
J2  - ACTA UNIV SAP INFORM
VL  - 2
PY  - 2010
IS  - 2
SP  - 154
EP  - 167
PG  - 14
SN  - 1844-6086
UR  - https://m2.mtmt.hu/api/publication/1996727
ID  - 1996727
LA  - English
DB  - MTMT
ER  -