%0 Conference Paper %1 conf/itp/Danielsson10 %A Danielsson, Nils Anders %B PAR@ITP %D 2010 %E Komendantskaya, Ekaterina %E Bove, Ana %E Niqui, Milad %I EasyChair %K dblp %P 34-54 %T Beating the Productivity Checker Using Embedded Languages. %U http://dblp.uni-trier.de/db/conf/itp/par2010.html#Danielsson10 %V 5

@inproceedings{conf/itp/Danielsson10, added-at = {2021-08-15T00:00:00.000+0200}, author = {Danielsson, Nils Anders}, biburl = {https://www.bibsonomy.org/bibtex/2564435595c3ed1bd18d3da85da51562e/dblp}, booktitle = {PAR@ITP}, crossref = {conf/itp/2010par}, editor = {Komendantskaya, Ekaterina and Bove, Ana and Niqui, Milad}, ee = {https://doi.org/10.29007/l41f}, interhash = {7a581412d9e582415827fadcb71995ae}, intrahash = {564435595c3ed1bd18d3da85da51562e}, keywords = {dblp}, pages = {34-54}, publisher = {EasyChair}, series = {EPiC Series}, timestamp = {2024-04-09T22:14:41.000+0200}, title = {Beating the Productivity Checker Using Embedded Languages.}, url = {http://dblp.uni-trier.de/db/conf/itp/par2010.html#Danielsson10}, volume = 5, year = 2010 }