Personensuche
X
?
Functional and Logic Programming; Lecture Notes in Computer Science ,
1
Tabulation with Zippers:
, In:
?
Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing ,
2
Compiling Haskell for Energy Efficiency: Empirical Analysis..:
, In:
?
Proceedings of the 24th Brazilian Symposium on Context-Oriented Programming and Advanced Modularity ,
3
A Gradual Type System for Elixir:
, In:
?
Proceedings of the XXIII Brazilian Symposium on Programming Languages ,
4
Java Stream Fusion : Adapting FP mechanisms for an OO se..:
, In:
?
Central European Functional Programming School; Lecture Notes in Computer Science ,
5
Watch Out for that Tree! A Tutorial on Shortcut Deforestati..:
, In:
?
Proceedings of the XXIII Brazilian Symposium on Programming Languages ,
6
Structure verification of deep neural networks at compilati..:
, In:
?
Proceedings of the 31st Symposium on Implementation and Application of Functional Languages ,
7
Attribute grammars fly first-class... safer! : dealing w..:
, In:
?
Proceedings of the 30th Symposium on Implementation and Application of Functional Languages ,
8
A Staged Embedding of Attribute Grammars in Haskell:
, In:
?
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming ,
9
An Internalist Approach to Correct-by-Construction Compiler:
, In:
?
2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) ,
10
Automating systematic mappings, adding quality to quantity:
, In:
?
Proceedings of the 39th International Conference on Software Engineering Companion ,
11
Automating systematic mappings, adding quality to quantity ..:
, In:
?
Proceedings of the 21st Brazilian Symposium on Programming Languages ,
12
Extensible records in Idris:
, In:
?
Proceedings of the 28th Annual ACM Symposium on Applied Computing ,
13
Formal semantics and expressiveness of a web service compos..:
, In:
?
Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing ,
14
Towards a functional run-time for dense NLA domain:
, In:
?
Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation ,
15