Filters








846,619 Hits in 3.5 sec

Haskell session types with (almost) no class

Riccardo Pucella, Jesse A. Tov
2008 Proceedings of the first ACM SIGPLAN symposium on Haskell - Haskell '08  
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

Arunima Chaudhuri, Suhrita Paul, Ayan Goswami
2020 Journal of Evidence Based Medicine and Healthcare  
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

Chapin A Harris
1841
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  
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  
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  
. | 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  
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  
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  
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  
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  
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  
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

Nikolai Buzikashvili
2016 International Journal of Intelligent Computing Research  
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  
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  
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