Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Pardo, Alberto
36  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

Tabulation with Zippers:

, In: Functional and Logic Programming; Lecture Notes in Computer Science,
Viera, Marcos ; Pardo, Alberto ; Saraiva, João - p. 83-98 , 2024
Link: https://doi.org/10.1007/..
 
?
2

Compiling Haskell for Energy Efficiency: Empirical Analysis..:

, In: Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing,
Kirkeby, Maja Hanne ; Santos, Bernardo ; Fernandes, João Paulo. - p. 1104-1113 , 2024
Link: https://dl.acm.org/doi/1..
 
?
3

A Gradual Type System for Elixir:

, In: Proceedings of the 24th Brazilian Symposium on Context-Oriented Programming and Advanced Modularity,
Cassola, Mauricio ; Talagorria, Agustín ; Pardo, Alberto. - p. 17-24 , 2020
Link: https://dl.acm.org/doi/1..
 
?
4

Java Stream Fusion : Adapting FP mechanisms for an OO se..:

, In: Proceedings of the XXIII Brazilian Symposium on Programming Languages,
Ribeiro, Francisco ; Saraiva, João ; Pardo, Alberto - p. 30-37 , 2019
Link: https://dl.acm.org/doi/1..
 
?
5

Watch Out for that Tree! A Tutorial on Shortcut Deforestati..:

, In: Central European Functional Programming School; Lecture Notes in Computer Science,
Fernandes, João Paulo ; Cunha, Jácome ; Saraiva, João. - p. 1-41 , 2019
Link: https://doi.org/10.1007/..
 
?
6

Structure verification of deep neural networks at compilati..:

, In: Proceedings of the XXIII Brazilian Symposium on Programming Languages,
Piñeyro, Leonardo ; Pardo, Alberto ; Viera, Marcos - p. 46-53 , 2019
Link: https://dl.acm.org/doi/1..
 
?
7

Attribute grammars fly first-class... safer! : dealing w..:

, In: Proceedings of the 31st Symposium on Implementation and Application of Functional Languages,
García-Garland, Juan ; Pardo, Alberto ; Viera, Marcos - p. 1-12 , 2019
Link: https://dl.acm.org/doi/1..
 
?
8

A Staged Embedding of Attribute Grammars in Haskell:

, In: Proceedings of the 30th Symposium on Implementation and Application of Functional Languages,
Viera, Marcos ; Balestrieri, Florent ; Pardo, Alberto - p. 95-106 , 2018
Link: https://dl.acm.org/doi/1..
 
?
9

An Internalist Approach to Correct-by-Construction Compiler:

, In: Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming,
Pardo, Alberto ; Gunther, Emmanuel ; Pagano, Miguel. - p. 1-12 , 2018
Link: https://dl.acm.org/doi/1..
 
?
10

Automating systematic mappings, adding quality to quantity:

, In: 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C),
Motz, Regina ; Vargas-Solar, Genoveva ; Souza Da Costa, Umberto... - p. 167-168 , 2017
Link: https://doi.org/10.1109/..
 
?
11

Automating systematic mappings, adding quality to quantity ..:

, In: Proceedings of the 39th International Conference on Software Engineering Companion,
Motz, Regina ; Vargas-Solar, Genoveva ; da Costa, Umberto Souza... - p. 167-168 , 2017
Link: https://dl.acm.org/doi/1..
 
?
12

Extensible records in Idris:

, In: Proceedings of the 21st Brazilian Symposium on Programming Languages,
Waszczuk, Gonzalo ; Pardo, Alberto ; Viera, Marcos - p. 1-8 , 2017
Link: https://dl.acm.org/doi/1..
 
?
13

Formal semantics and expressiveness of a web service compos..:

, In: Proceedings of the 28th Annual ACM Symposium on Applied Computing,
Hahn, Marcelo Guerra ; Motz, Regina ; Pardo, Alberto. - p. 1667-1673 , 2013
Link: https://dl.acm.org/doi/1..
 
?
14

Towards a functional run-time for dense NLA domain:

, In: Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing,
Blanco, Mauro ; Perdomo, Pablo ; Ezzatti, Pablo.. - p. 85-96 , 2013
Link: https://dl.acm.org/doi/1..
 
?
15

Just do it while compiling! : fast extensible records in..:

, In: Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation,
Martinez, Bruno ; Viera, Marcos ; Pardo, Alberto - p. 77-86 , 2013
Link: https://dl.acm.org/doi/1..
 
1-15