• Suche: Learning Functional Programming

Treffer 161 - 180 von 10.197

161

Making teaching of programming learning-oriented and learner-directed
Tirronen, Ville ; Isomöttönen, Ville
Proceedings of the 11th Koli Calling International Conference on Computing Education Research. :60-65

Konferenz
Zur Merkliste hinzufügen
163

Methods and Tools for Formal Verification of Cloud Sisal Programs
Kasyanov, Victor N. ; Kasyanova, Elena V.
2020 International Conference on Mathematics and Computers in Science and Engineering (MACISE) Mathematics and Computers in Science and Engineering (MACISE), 2020 International Conference on. :219-222 Jan, 2020

Konferenz
Zur Merkliste hinzufügen
164

Automatic optimization of multi-paradigm declarative programs
MORENO, Ginés
IBERAMIA 2002 : advances in artificial intelligence (Seville, 12-15 November 2002)Lecture notes in computer science. :131-140

Control theory, operatio... Automatique, recherche o... Computer science Informatique Sciences exactes et tech... Exact sciences and techn... …
Konferenz
Zur Merkliste hinzufügen
165

TorchQL: A Programming Framework for Integrity Constraints in Machine Learning
Naik, Aaditya ; Stein, Adam ; Wu, Yinjun ; et al.
Proceedings of the ACM on Programming Languages. 8(OOPSLA1):833-863

Fachzeitschrift
Zur Merkliste hinzufügen
166

Teaching programming concepts to high school students with Alice
Wang, Ting-Chung ; Mei, Wen-Hui ; Lin, Shu-Ling ; et al.
2009 39th IEEE Frontiers in Education Conference Frontiers in Education Conference, 2009. FIE '09. 39th IEEE. :1-6 Oct, 2009

Konferenz
Zur Merkliste hinzufügen
167

A generic e-learning multiparadigm programming language system : IDEFIX project
Labra Gayo, J. E. ; Morales Gil, J. M. ; Fernández Álvarez, A. M. ; et al.
Proceedings of the 34th SIGCSE technical symposium on Computer science education. :391-395

Konferenz
Zur Merkliste hinzufügen
168

Dieses Ergebnis kann Gästen nicht angezeigt werden.

169

Functional transformations in AI discovery systems
Shen, W.-M.
[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume III: Decision Support and Knowledge Based Systems Track System Sciences, 1988. Vol.III. Decision Support and Knowledge Based Systems Track, Proceedings of the Twenty-First Annual Hawaii International Conference on. 3:266-273 1988

Konferenz
Zur Merkliste hinzufügen
170

A general framework for R-unification problems
LIMET, S ; SAUBION, F
Principles of declarative programming (Pisa, 16-18 September 1998)Lecture notes in computer science. :266-281

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zur Merkliste hinzufügen
171

Identifying Different Student Clusters in Functional Programming Assignments : From Quick Learners to Struggling Students
Geng, Chuqin ; Xu, Wenwen ; Xu, Yingjie ; et al.
Proceedings of the 54th ACM Technical Symposium on Computer Science Education V. 1. :750-756

Konferenz
Zur Merkliste hinzufügen
173

Experiences in bridging from functional to object-oriented programming
Santos, Igor Moreno ; Hauswirth, Matthias ; Nystrom, Nathaniel
Proceedings of the 2019 ACM SIGPLAN Symposium on SPLASH-E. :36-40

Konferenz
Zur Merkliste hinzufügen
174

An Improved Evolutionary Programming Algorithm for Fuzzy Programming Problems and its Application
Wei-Yi Qian ; Jin Zhang
2006 International Conference on Machine Learning and Cybernetics Machine Learning and Cybernetics Machine Learning and Cybernetics, 2006 International Conference on. :1851-1854 Aug, 2006

Konferenz
Zur Merkliste hinzufügen
175

Explicit versus implicit representations of subsets of the Herbrand universe
PICHLER, Reinhard
Theoretical computer science. 290(1):1021-1056

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques... …
Fachzeitschrift
Zur Merkliste hinzufügen
176

Is Genome Written in Haskell?
Kozyrev, S. V.
Lobachevskii Journal of Mathematics. 42(10):2358-2363

Fachzeitschrift
Zur Merkliste hinzufügen
177

Task specific programming languages as a first programming language
Guzdial, M. ; McCracken, W.M. ; Elliott, A.
Proceedings Frontiers in Education 1997 27th Annual Conference. Teaching and Learning in an Era of Change Frontiers in education Frontiers in Education Conference, 1997. 27th Annual Conference. Teaching and Learning in an Era of Change. Proceedings.. 3:1359-1360 vol.3 1997

Konferenz
Zur Merkliste hinzufügen
178

A Verified Compiler for a Functional Tensor Language
Liu, Amanda ; Bernstein, Gilbert ; Chlipala, Adam ; et al.
Proceedings of the ACM on Programming Languages. 8(PLDI):320-342

Fachzeitschrift
Zur Merkliste hinzufügen
179

The computational limits to the cognitive power of the neuroidal tabula rasa
WIEDERMANN, J
ALT'99 : algorithmic learning theory (Tokyo, 6-8 December 1999)Lecture notes in computer science. :63-76

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn... …
Konferenz
Zur Merkliste hinzufügen
180

The Properties of B-Semipreinvex Functions and the Duality Results
Xian-Wei Yu ; Fu-Li Bao
2006 International Conference on Machine Learning and Cybernetics Machine Learning and Cybernetics Machine Learning and Cybernetics, 2006 International Conference on. :1238-1240 Aug, 2006

Konferenz
Zur Merkliste hinzufügen
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter