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.
Filters
Haskell session types with (almost) no class
2008
Proceedings of the first ACM SIGPLAN symposium on Haskell - Haskell '08
Preserved Fulltext
We describe an implementation of session types in Haskell. Session types statically enforce that client-server communication proceeds according to protocols. ...
We formalize this claim in a concurrent calculus with unsafe communication primitives over which we layer our implementation of session types, and we prove that the session types layer is safe. ...
Session types were first introduced for the π calculus by Honda, Vasconcelos, Kubo, and others (Honda et al. 1998; Hole 1999, 2005) . ...
doi:10.1145/1411286.1411290
dblp:conf/haskell/PucellaT08
fatcat:sbx5bbzkpjd4lcjs4igkhh6jja
A Comparative Study to Evaluate the Role of Interactive Lecture Classes and Self-Directed Learning Sessions among First MBBS Students in the Department of Physiology during Implementation of Competency Based Medical Education
English
2020
Journal of Evidence Based Medicine and Healthcare
English
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.
We wanted to compare the role of interactive lecture classes with self-directed sessions among first MBBS students in the Department of Physiology during implementation of competency based medical education ...
Ten interactive lecture classes were compared with ten self-directed learning sessions using pre-test and post-test MCQS. ...
I n c l u s i o n C r i t e r i a All students enrolled in the first MBBS program were included in the study. ...
doi:10.18410/jebmh/2020/558
fatcat:opzuiqctwrgnrlld3uftgy4cgi
Introductory Lecture, Delivered before the Class of the Baltimore College of Dental Surgeons, at the Opening of Its First Session
1841
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 first of the kind that has ever existed, either in this or any other country? ...
the first of the kind that has ever existed, either in this or any other country? ...
In conclusion, I would address a few words to the gentlemen of the class,?hoping that what I shall say, tnay not be without some profit to them. Gentlemen,? ...
pmid:30752485
pmcid:PMC6094854
fatcat:c2z6iezhrrbxxh2t66gm5lzdiq
Paris Section, [On the Importance of Having a Central Organization of the Working Class]This text is an excerpt from the Declaration of the Paris CommuneParis Sections to the Delegates of the International Association Assembled in Congress. It was sent by the Ferré section, one of the first branches of the IWMA established after the defeat of the Paris CommuneParis Commune, and was read in one of the sessions of on 7 September at The Hague Congress (1872)Hague Congress (1872). Published 8 days later, in the
...
[chapter]
Workers Unite! : The International 150 Years Later
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 2019; you can also visit the original URL.
The file type is application/pdf.
It was sent by the Ferr é section, one of the fi rst branches of the IWMA established aft er the defeat of the Paris Commune, and was read in one of the sessions of on 7 September at Th e Hague Congress ...
[ … ] To succeed in this task requires a central organization which disciplines working class action and distributes it everywhere. ...
doi:10.5040/9781501302367.0096
fatcat:raq447rnajhlxhvstfmuqvufge
Page 7 of CDS Review Vol. 4, Issue 1
[page]
1942
CDS Review
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Following is the schedule of classes of¬ fered in five branches including time and place of classes and date of first session. ...
There will be a session of each class weekly thereafter — same time — same place.
KENWOOD-HYDE PARK Place: Hyde Park Bank Bldg.
Sessions: Tuesdays from 7 to 9 p.m.
First session July 7. ...
Page 320 of The Literary and Evangelical Magazine Vol. 4, Issue 6
[page]
1821
The Literary and Evangelical Magazine
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
. | June
Second Session.—First Recitation.—Livy, Tacitus, Roman
Antiquities. Second Recitation.—Geography. SOPHOMORE CLASS. %
First Session.—First Recitation. ...
Second Session.—First Recitation.--Rest of Euclid, includ- ing Supplements, Plane Trigonometry, Surveying. Second Recitation.--Prosody, Horace.
JUNIOR CLASS.
First Session. ...
Page 147 of JAMA: The Journal of the American Medical Association Vol. 144, Issue 2
[page]
1950
JAMA: The Journal of the American Medical Association
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
The last session began Sept. 12, 1949 for second, third and fourth year classes and ended June 6, 1950. The last session for the first year class began Sept. 8, 1949 and ended June 6, 1950. ...
First class graduated in 1855 and a class graduated each subsequent year. ...
Page 165 of JAMA: The Journal of the American Medical Association Vol. 147, Issue 2
[page]
1951
JAMA: The Journal of the American Medical Association
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
The last session began Sept. 11, 1950 for second, third and fourth year classes and ended June 5, 1951. The last session for the first yéar class began Sept. 7, 1950 and ended June 5, 1951. ...
First class graduated in 1855 and a class graduated each subsequent year. ...
Page 175 of JAMA: The Journal of the American Medical Association Vol. 156, Issue 2
[page]
1954
JAMA: The Journal of the American Medical Association
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
The last session began Sept. 14, 1953, for second, third, and fourth year classes and ended June 1, 1954. The last session for the first year class began Sept. 10, 1953, and ended June 1, 1954. ...
First class graduated in 1855 and a class graduated each subsequent year. ...
Page 146 of JAMA: The Journal of the American Medical Association Vol. 153, Issue 2
[page]
1953
JAMA: The Journal of the American Medical Association
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
The last session began Sept. 10, 1952, for second, third and fourth year classes and ended June 2, 1953. The last session for the first year class began Sept. 8, 1952, and ended June 2, 1953. ...
The subsequent session will begin Sept. 10, 1953, for the first year class and Sept. 14, 1953, for the second, third and fourth year classes and will end June 1, 1954. ...
Page 137 of JAMA: The Journal of the American Medical Association Vol. 150, Issue 2
[page]
1952
JAMA: The Journal of the American Medical Association
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
The last session began Sept. 10, 1951 for second, third and fourth year classes and ended June 3, 1952. The last session for the first year class began Sept. 6, 1951 and ended June 3, 1952. ...
First class graduated in 1855 and a class graduated each subsequent year. ...
Page 61 of JAMA: The Journal of the American Medical Association Vol. 141, Issue 1
[page]
1949
JAMA: The Journal of the American Medical Association
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
The last session began Sept. 13, 1948 for second, third and fourth year classes and ended June 7, 1949. The last session for the first year class began Sept. 9, 1948 and ended June 7, 1949. ...
First class graduated in 1883 and a class graduated each subse- quent year. Present title in 1923. ...
Single- and Multi-User IPs' Users: Identical Seeking but Different Clicking
2016
International Journal of Intelligent Computing 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 2022; you can also visit the original URL.
The file type is application/pdf.
Seeking and clicking behavior of these "IP classes" is investigated. ...
It is shown that real-life environmental stressors do not affect query formulation or session execution, shift slightly moving across the retrieved results and shift greatly click behavior. ...
on the first page in: All sessions 1.25 1.15 1.05 0.99 Travel sessions 1.39 1.29 1.27 1.09 Education sessions 1.40 1.26 1.18 1.15
Table 8 . ...
doi:10.20533/ijicr.2042.4655.2016.0090
fatcat:u2wsnyzgzncmbequbvsftsp5hm
Page 291 of None Vol. 45, Issue 5
[page]
1953
None
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
PAIN
For the first session Ss who had found at least five halfway points and whose thresholds re- mained constant during the scaling procedure were grouped into three classes, depending on the size of ...
The curves for the first scaling session show a slight positive acceleration, while the curves for the second session are all negatively accelerated. ...
Page 52 of JAMA: The Journal of the American Medical Association Vol. 138, Issue 1
[page]
1948
JAMA: The Journal of the American Medical Association
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
The last session began Sept. 15, 1947 for second, third and fourth year classes and ended June 8, 1948. The last session for the first year class began Sept. 10, 1947 and ended June 8, 1948. ...
First class graduated in 1855 and a class graduated each subsequent year. Fees for the first year amount to $342.50 and for each of the other five year $358.50. ...
« Previous
Showing results 1 — 15 out of 846,619 results