From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

NixOS: a purely functional Linux distribution.

E. Dolstra, и A. Löh. ICFP, стр. 367-378. ACM, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Generic storage in Haskell.S. Visser, и A. Löh. ICFP-WGP, стр. 25-36. ACM, (2010)Generic Haskell, Specifically.D. Clarke, и A. Löh. Generic Programming, том 243 из IFIP Conference Proceedings, стр. 21-47. Kluwer, (2002)Dependently Typed Grammars.K. Brink, S. Holdermans, и A. Löh. MPC, том 6120 из Lecture Notes in Computer Science, стр. 58-79. Springer, (2010)Generic programming with fixed points for mutually recursive datatypes.A. Yakushev, S. Holdermans, A. Löh, и J. Jeuring. ICFP, стр. 233-244. ACM, (2009)A Specification for Typed Template Haskell.M. Pickering, A. Löh, и N. Wu. CoRR, (2021)True sums of products.E. de Vries, и A. Löh. WGP@ICFP, стр. 83-94. ACM, (2014)Abstract syntax graphs for domain specific languages.B. d. S. Oliveira, и A. Löh. PEPM, стр. 87-96. ACM, (2013)PiSigma: Dependent Types without the Sugar.T. Altenkirch, N. Danielsson, A. Löh, и N. Oury. FLOPS, том 6009 из Lecture Notes in Computer Science, стр. 40-55. Springer, (2010)Generic Views on Data Types.S. Holdermans, J. Jeuring, A. Löh, и A. Rodriguez. MPC, том 4014 из Lecture Notes in Computer Science, стр. 209-234. Springer, (2006)A Formal Comparison of Approaches to Datatype-Generic ProgrammingJ. Magalhães, и A. Löh. MSFP, том 76 из EPTCS, стр. 50-67. (2012)