( en | de | ru )

 

Disambiguierung von "Mu, Shin-Cheng"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Functional Pearl: Folding Polynomials of Polynomials.

, , und . FLOPS, Volume 10818 von Lecture Notes in Computer Science, Seite 68-83. Springer, (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Tien-mu Cheng

Dong-Shin Shin

Cheng-Yung Cheng

Jeonghun Shin

Kirche als Weltforum: zum Dialogverständnis in kirchlichen Dokumenten seit dem Zweiten Vatikanischen Konzil. Uni München, (2009)

Meiru Mu

 

Weitere Publikationen von Autoren mit dem selben Namen

Generalising and dualising the third list-homomorphism theorem: functional pearl., und . ICFP, Seite 385-391. ACM, (2011)Handling Local State with Global State., , und . MPC, Volume 11825 von Lecture Notes in Computer Science, Seite 18-44. Springer, (2019)Longest segment of balanced parentheses: an exercise in program inversion in a segment problem., und . J. Funct. Program., (2021)Theory and applications of inverting functions as folds., und . Sci. Comput. Program., 51 (1-2): 87-116 (2004)Functional Pearl: Nearest Shelters in Manhattan., und . APLAS, Volume 8858 von Lecture Notes in Computer Science, Seite 159-175. Springer, (2014)Rebuilding a Tree from Its Traversals: A Case Study of Program Inversion., und . APLAS, Volume 2895 von Lecture Notes in Computer Science, Seite 265-282. Springer, (2003)Functional Pearl: Folding Polynomials of Polynomials., , und . FLOPS, Volume 10818 von Lecture Notes in Computer Science, Seite 68-83. Springer, (2018)On Building Trees with Minimum Height, Relationally.. APLAS, Seite 153-162. (2000)A programmable editor for developing structured documents based on bidirectional transformations., , und . PEPM, Seite 178-189. ACM, (2004)Type Safe Redis Queries: A Case Study of Type-Level Programming in Haskell., , und . CoRR, (2017)