A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
Developments in computational models: introduction
2006
Mathematical Structures in Computer Science
Preserved Fulltext
in the functional calculus is provable), and the lambda calculus (designed by Alonzo Church, also in the late 1930s, as a foundation for the mathematical theory of functions). ...
for a given application, and is essential for the design of new programming languages. ...
Acknowledgements We would like to thank the authors who contributed to this special issue, and the referees who worked diligently to evaluate and help improve the papers. ...
doi:10.1017/s0960129506005305
fatcat:vsvchiizrrdwzdwsavimioyot4
Page 575 of Sociology of Education Vol. 17, Issue 9
[page]
1944
Sociology of Education
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
The Educa- tion and Language of Detroit Mexicans,
534-
Immigration and Naturalization Service, Educational Activities of the United States, By Glenn Kendall, 36.
International Education Office. ...
The Value of High-School Scholarship on the Labor Market, 524.
Mosher, William E. Citizenship—As Action, 55:
Myers, Alonzo F. International Education Office, 169.
Negro Child in the World Chaos, The. ...
The RN to BSN Transition
2015
Global Qualitative Nursing Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Due to recommendations to change entry level to practice to the bachelor's degree in nursing (BSN), there are now more than 700 RN to BSN programs in the United States. ...
A visual representation of the RN to BSN transition was also generated. A seamless transition of the RN to a BSN does not exist at this time. ...
Furthermore, no common language exists to discuss standards of a RN to BSN program. ...
doi:10.1177/2333393615614306
pmid:28462321
pmcid:PMC5342820
fatcat:mq42ijb275aypcgupcore7beri
Page 61 of The Education Digest Vol. 8, Issue Index
[page]
1942
The Education Digest
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
The U. S. Office of Education in the Inter-American Field. J. E. Soc. Jan., 4%.
Peacock, Vera L. “La Donna E Mobile.” Mod. Lang. J. Dec., 52.
Pei, Mario A. The Function of Languages in Global War. ...
Myers, Alonzo and Louise. The Japanese Take Education Seriously. J. N. E. A. May, 32.
Myers, Louise and Alonzo. The Japanese Take Education Seriously. J. N. E. A. May, 32. ...
Page 61 of The Education Digest Vol. 8, Issue 9
[page]
1943
The Education Digest
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
The U. S. Office of Education in the Inter-American Field. J. E. Soc. Jan., 41.
Peacock, Vera L. “La Donna E Mobile.” Mod. Lang. J. Dec., 52.
Pei, Mario A. The Function of Languages in Global War. ...
Myers, Alonzo and Louise. The Japanese Take Education Seriously. J. N. E. A. May, 32.
Myers, Louise and Alonzo. The Japanese Take Education Seriously. J. N. E. A. May, 32.
Arthur G. ...
Page 61 of The Education Digest Vol. 8, Issue 9
[page]
1943
The Education Digest
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
The U. S. Office of Education in the Inter-American Field. J. E. Soc. Jan., 41.
Peacock, Vera L. “La Donna E Mobile.” Mod. Lang. J. Dec., 52.
Pei, Mario A. The Function of Languages in Global War. ...
Myers, Alonzo and Louise. The Japanese Take Education Seriously. J. N. E. A. May, 32.
Myers, Louise and Alonzo. The Japanese Take Education Seriously. J. N. E. A. May, 32.
Studies. ...
Page 110 of Language Arts Vol. 31, Issue 2
[page]
1954
Language Arts
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Finally Henry Alonzo Myers presented an uplifting exposition of the nature of litera- ture and its function in a democracy geared to a reverence for science. ...
And the program proved as effective as even President Harlen M. Adams and Second Vice President Blanche Trezevant, the program architects, could possibly have hoped. ...
Page 110 of Language Arts Vol. 31, Issue 2
[page]
1954
Language Arts
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Finally Henry Alonzo Myers presented an uplifting exposition of the nature of litera- ture and its function in a democracy geared to a reverence for science. ...
And the program proved as effective as even President Harlen M. Adams and Second Vice President Blanche Trezevant, the program architects, could possibly have hoped. ...
Agda Meets Accelerate
[chapter]
2013
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This observation raises the question whether an embedded language for data parallel programming would benefit from fully-fledged dependent types, such as those available in Agda. ...
We explored that question by designing and implementing an Agda frontend to Accelerate, a Haskellembedded language for data parallel programming aimed at GPUs. ...
Background
Agda Agda [1, 10] is a dependently-typed functional programming language. ...
doi:10.1007/978-3-642-41582-1_11
fatcat:n3kka3mrmbgjfoowuow4y6t6ly
The Survival Book. Paul H. Nisbit, Alonzo W. Pond, and William H. Allen. Van Nostrand Company, Princeton, N.J., 1959. v + 338 pp. Illus. $7.50
1960
Science
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
primary function.) ...
The active involvement of behavioral scientists in the research programs of national military departments was ap- preciably increased during and after World War II. ...
doi:10.1126/science.131.3408.1211
fatcat:g5vqgzdqbbhdrldk4d2mipdhi4
Page 152 of Psychological Abstracts Vol. 36, Issue 1
[page]
1962
Psychological Abstracts
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
A retraining program for the adult who stutters. J. speech hear. Dis., 1961, 26, 141-144. ...
—Description of a retraining program for a stuttering adult based on the hypothesis that stuttering is learned behavior. ...
Everything old is new again: quoted domain-specific languages
2016
Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM 2016
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
Part IV The Subformula Principle Gerhard Gentzen Natural Deduction -Gentzen (1935) Natural Deduction ...
-Dag Prawitz, 1965 The Curry-Howard homeomorphism LC'90 Alonzo Church (1903 -1995 Typed λ-calculus [x : A] x · · · N : B →-I x λx. ...
open quotations
quotations of functions
(Expr< A → B >)
vs.
functions of quotations
Times in milliseconds; av marks query avalanche. ...
doi:10.1145/2847538.2847541
dblp:conf/pepm/NajdLSW16
fatcat:k66bthoyfzgr3hi4vcpx5sokti
Algorithms Visualization Tool for Students and Lectures in Computer Science
[article]
2014
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The main new thing of this tool is the fact of making it possible to the user to animate their own algorithms. ...
The best way to understand complex data structures or algorithm is to see them in action. The present work presents a new tool, especially useful for students and lecturers in computer science. ...
We worked over again the compiler so that this one not provides us only an evaluation function for the whole program but an evaluation function related to each instruction. ...
arXiv:1403.4423v1
fatcat:5dkjtsbvnnbprd3wya3wgatllu
Computing in pervasive cyberspace
2008
Communications of the ACM
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
With the growth of P2P computing, Web services, networks of embedded computers, and multicore architectures, programming using the actor model is inevitable; witness the increasing use of programming languages ...
But it wasn't until the mid-20th century that the discipline of computing took root, inspired by Alan Turing's representation of programs as data and by Alonzo Church's theory of computation as something ...
doi:10.1145/1327452.1327484
fatcat:pc35aie6fbgpldnoczvhwaobee
Page 396 of Phi Delta Kappan Vol. 37, Issue 9
[page]
1956
Phi Delta Kappan
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Teachers of the World
By ALONZO G. ...
THE AIM AND SPIRIT OF EDUCATION
Before describing programs of teachers of edu- cation we shall consider the aim and spirit of education, for education systems are organized and function in accordance with ...
« Previous
Showing results 1 — 15 out of 1,661 results