( en | de | ru )

 

Disambiguierung von "Serrano, Alejandro"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types.

, , und . CoRR, (2013)

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.

Wilbert Serrano

A multi-gene approach in the systematics of the phototrophic purple sulfur bacteria genera Marichromatium and Allochromatium with description of the new species Allochromatium humboldtianum and the new biotype Marichromatium gracile biotype thermosulfidiphilum. Uni Bremen, (2009)

Alfredo Serrano

Carlos Serrano

Marcos Serrano

Luis Serrano

 

Weitere Publikationen von Autoren mit dem selben Namen

On the Cost of Capital in Inventory Models: The Case of Deterministic Demand.. Foundations and Trends in Technology, Information and Operations Management, 10 (3-4): 338-357 (2017)DipGame: a testbed for multiagent systems., , , und . AAMAS, Seite 1619-1620. IFAAMAS, (2010)Type Error Customization in GHC: Controlling expression-level type errors by type-level programming., und . IFL, Seite 2:1-2:15. ACM, (2017)A compiler architecture for domain-specific type error diagnosis., und . Open Comput. Sci., 9 (1): 33-51 (2019)Describing microservices using modern Haskell (experience report)., und . Haskell@ICFP, Seite 1-8. ACM, (2020)Generic programming of all kinds., und . Haskell@ICFP, Seite 41-54. ACM, (2018)Generic Matching of Tree Regular Expressions over Haskell Data Types., und . PADL, Volume 9585 von Lecture Notes in Computer Science, Seite 83-98. Springer, (2016)Type Error Customization for Embedded Domain-Specific Languages.. Utrecht University, Netherlands, (2018)base-search.net (ftunivutrecht:oai:dspace.library.uu.nl:1874/363523).Heuristics-based Type Error Diagnosis for Haskell: The case of GADTs and local reasoning., , und . IFL, Seite 33-43. ACM, (2020)Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types., , und . CoRR, (2013)