OpenLLM-France/wikimedia huggingface dataset:
# Camptodactyly

Camptodactyly is a medical condition that causes one or more digits (fingers or toes) to be permanently bent. It involves fixed flexion deformity of the proximal interphalangeal joints.
Camptodactyly can be caused by a genetic disorder. In that case, it is an autosomal dominant trait that is known for its incomplete genetic expressivity. This means that when a person has the genes for it, the condition may appear in both hands, one, or neither. A linkage scan proposed that the chromosomal locus of camptodactyly was 3q11.2-q13.12.

## Causes

The specific cause of camptodactyly remains unknown, but there are a few deficiencies that lead to the condition. A deficient lumbrical muscle controlling the flexion of the fingers, and abnormalities of the flexor and extensor tendons.
A number of congenital syndromes may also cause camptodactyly:
* Jacobsen syndrome
* Beals syndrome
* Blau syndrome
* Freeman–Sheldon syndrome
* Cerebrohepatorenal syndrome
* Weaver syndrome
* Christianson syndrome
* Gordon syndrome
* Jaccoud arthropathy
* Lenz microphthalmia syndrome
* Marshall–Smith–Weaver syndrome
* Oculo-dento-digital syndrome
* Tel Hashomer camptodactyly syndrome
* Toriello–Carey syndrome
* Trisomy 13
* Stuve–Wiedemann syndrome
* Loeys–Dietz syndrome
* Fetal alcohol syndrome
* Fryns syndrome
* Marfan syndrome
* Carnio-carpo-tarsal dystrophy

## Genetics

The pattern of inheritance is determined by the phenotypic expression of a gene—which is called expressivity. Camptodactyly can be passed on through generations in various levels of phenotypic expression, which include both or only one hand. This means that the genetic expressivity is incomplete. It can be inherited from either parent.
In most of its cases, camptodactyly occurs sporadically, but it has been found in several studies that it is inherited as an autosomal dominant condition.

## Treatment

If a contracture is less than 30 degrees, it may not interfere with normal functioning. The common treatment is splinting and occupational therapy. Surgery is the last option for most cases as the result may not be satisfactory.

## Etymology

The name is derived from the ancient Greek words καμπτός, kamptos (bent) and δάκτυλος, daktylos (finger).
# Haryana Republican Party

Haryana Republican Party, political party in the Indian state of Haryana. The party was founded on 30 December 2003 when the sole Republican Party of India member of the Haryana assembly, Karan Singh Dalal, broke away. On the same day Democratic Congress Party was founded as well.
Many saw HRP as a quasiparty, whose raison d'etre was to provide a loop-hole for the Anti-Defection Law as Dalal wanted to join Indian National Congress. After the Lok Sabha elections 2004 Dalal merged his HRP with Congress. But the speaker of the Haryana assembly reacted and suspended Dalal (and five other assembly members who had joined Congress) under the Anti-Defection Law. Thus the attempt on behalf of Congress to gain majority in the assembly failed.
# My Younger Brother

My Younger Brother (Russian: Мой младший брат, romanized: Moy mladshiy brat) is a 1962 Soviet teen drama film directed by Aleksandr Zarkhi.
The film tells about four friends who, after passing the final exams, decides to go to the Baltic States to feel like adults, and even the attempt of the brother of one of them to dissuade them from the venture fails.

## Plot

The story, narrated by two brothers, unfolds as a reflection on personal growth, choices, and sacrifice. The elder brother, Viktor Denisov, is a respected young scientist preparing to defend his dissertation but faces a moral dilemma when his findings contradict his thesis. Meanwhile, his younger brother, Dmitry, freshly graduated from school, rejects guidance and impulsively embarks on a journey from Moscow to Estonia with friends Alyk Kramer, Yuri, and classmate Galya Bodrova, who secretly harbors feelings for him. In Tallinn, the group encounters new acquaintances, and Galya, aspiring to be an actress, attempts to integrate into their artistic world. However, tensions arise as Dmitry’s reckless behavior strains his relationship with Galya, and the group ends up working as laborers in a furniture store before joining a fishing collective on the Estonian coast.
While Viktor chooses to sacrifice his academic career by refusing to defend a flawed dissertation, Dmitry experiences personal growth, taking on responsibility within the collective and forming a relationship with a local girl, Ulvi. Galya reappears, seeking reconciliation, but Dmitry’s brusque rejection leads her to despair. When a Norwegian cargo ship signals for help during a storm, Dmitry rises to the occasion, issuing an on-air apology to Galya. Tragedy strikes as Viktor dies during a work-related test, prompting Dmitry to reflect on their shared dreams and the paths they’ve taken. In the end, Dmitry and his companions, including Galya, return to their old Moscow neighborhood, united by their experiences and the memory of Viktor’s integrity and sacrifice.

## Cast

* Lyudmila Marchenko as Galya
* Aleksandr Zbruyev as Dima Denisov
* Oleg Dal as Alik
* Andrei Mironov as Yurka
* Oleg Efremov as Viktor Denisov
* Mikhail Nazvanov as Andrei Ivanovich, professor
* Ivan Savkin as Igor Bauman
* Arvo Kruusement as Matti
* Jaan Saul as Endel
* Sergei Kurilov as Innokentiy Petrov
* Villu Tomingas as Gustav
# Sabrina Malheiros

Sabrina Malheiros (born 1979) is a Brazilian música popular brasileira (MPB) singer/songwriter. Her music has been described as "nu bossa", combining house beats with jazz and samba influences and "cool, detached-sounding vocals", and critics have compared her to Brazilian contemporaries Bebel Gilberto and Céu.

## Biography

Malheiros was born in the city of Rio de Janeiro. She is the daughter of Azymuth bassist Alex Malheiros. She was interested in music from a young age, enrolled in music school at age six, and made her first studio recording before age seven. She cites Azymuth and João Gilberto as early influences on her musical style.
Malheiros's first commercially distributed recording was the title track of Azymuth's 1991 album Curumim, on which she sang lead vocals. Her debut album, Equilibria, was released in 2005. Malheiros wrote or co-wrote nine tracks on the album. Her second album, New Morning, was released in 2008 and was arranged by Arthur Verocai. Both albums were produced by Daniel Maunick and released on the Far Out Recordings label. A remastered and partially reworked "Deluxe Edition" of New Morning was released in 2009, containing a few extra tracks and an increased emphasis on instrumentation.
Malheiros made her UK concert debut on 18 May 2005 at Jazz Cafe in London.

## Discography
### Albums

* 2005: Equilibria
* 2006: Vibrasons
* 2008: New Morning
* 2009: New Morning (Deluxe Edition)
* 2011: Dreaming
* 2017: Clareia

### Singles and EPs

* 2003 – Iemanjá (The Female Water Spirit) (12") Remix
* 2004 – Estação Verão (Kenny Dope Remixes) (12") Remix
* 2005 – Equilibria (Álbum Sampler) (12") Remix
* 2005 – Maracatueira (Incognito Remixes) (12") Remix
* 2005 – Passa / Capoeira Vai (12") Remix
* 2006 – Terra De Ninguém (Nicola Conte Rework) (12") Remix
* 2008 – Connexão (12") Remix
* 2015 – Opará (12") (Ashley Beedle's Africanz On Marz Remix)
* 2017 – Clareia Remixes (12") (Henry Wu, Dego-2000 Black & IG Culture Remixes)

### Featuring

* 1990 – Curumim – Azymuth (CD) Intima Records
* 1998 – Pieces of Ipanema – Azymuth (CD, LP) Far Out Records
* 2000 – A Terçeira Morte de Joaquim Bolívar (Film/DVD) – Soundtrack
* 2001 – V – United Future Organization (CD, LP) Exceptional Records
* 2002 – Superágua – Superágua (CD) Zoo Records
* 2004 – Brazilian Soul – Azymuth (CD) Far Out Recordings
* 2009 – The Wave – Alex Malheiros & Banda Utopia Feat. Sabrina Malheiros (CD, LP) Far Out Recordings
* 2009 – Brazilika – Gilles Peterson (CD, LP) Far Out Recordings
* 2011 – Aurora – Azymuth (CD, LP) Far Out Recordings
* 2012 – Clementine Sun – Khari Cabral Simmons Dome Records
* 2015 – Muriel (Série Deluxe) – Sean Khan (CD) Far Out Recordings
* 2018 – Palmares Fantasy (feat. Hermeto Pascoal) – Sean Khan (CD, LP) Far Out Recordings
# Chad Kimball

Chad Kimball (born September 2, 1976) is an American stage actor known for roles in musical theatre, especially Huey Calhoun in the Broadway musical Memphis and Milky White in the 2002 Broadway revival of Into the Woods.

## Early life and career

Kimball was born in Seattle, Washington, on September 2, 1976, and graduated from Boston Conservatory with a BFA in musical theatre in 1999.
After moving to New York City, he joined the Broadway musical The Civil War, three weeks before it closed. He was in the Off-Broadway revival of Godspell in 2000 and the Broadway revival of Into the Woods in 2002 as Milky White the cow and an understudy for Jack and the Wolf/Rapunzel’s Prince. He appeared in the Broadway musicals Lennon and Good Vibrations in 2005. During this period, he also appeared in regional theatre as Anthony in Sweeney Todd at the Signature Theatre (1999), Baby at the Paper Mill Playhouse, Millburn, New Jersey (2004), and Little Fish in 2007 at the Blank Theatre, Los Angeles.

## Memphis and later years

Kimball originated the lead role of Huey Calhoun in the musical Memphis at the La Jolla Playhouse in 2008, and starred in the role in the Broadway production until fall 2011. He was nominated for a Tony Award for Best Actor in a Musical for the role. Kimball appears in the filmed version, Memphis: Direct from Broadway by Broadway Worldwide.
In 2017 he returned to Broadway as Kevin T. in the musical Come from Away.
In March 2020, he contracted and recovered from COVID-19. Later that year, on Twitter, he criticized, and pledged to disobey, COVID public health restrictions regarding singing in churches. His tweet caused backlash. He was not invited to return to Come from Away when the show resumed production in 2021, and he subsequently filed a lawsuit against the show's producers, alleging religious discrimination.
# State Pariyatti Sasana University, Mandalay

Part of a series on :
Theravāda Buddhism :
Buddhism :
History
Pre-sectarian Buddhism
Early schools
Sthaviras
Buddhist councils
Vibhajjavāda
Mahāvihāra
Tambapaṇṇiya
Dīpavaṃsa
Mahāvaṃsa
Pali Text Society :
Key figures
Bhāṇaka
Moggaliputta-Tissa
Mahinda
Sanghamitta
Tissa
Buddhaghoṣa
Buddhadatta
Dhammapāla
Parakramabahu I
Mahākassapa (12th century)
Sāriputta (12th century)
Anawrahta
Ram Khamhaeng
Sumangala Thera
Anagarika Dharmapala
Mongkut
Vajirananavarorasa
Ledi Sayadaw
U Nu
U Nārada
Mahasi Sayadaw
U Ba Khin
S. N. Goenka
Mun Bhuridatta
Ajahn Chah
Maha Ghosananda
Kripasaran
Mahapragya
Pragyananda
K. Sri Dhammananda
Narada Mahathera
Asoka Weeraratna
Walpola Rahula
Jayatilleke
Kalupahana
U Dhammaloka
Nyanatiloka
Nanamoli
Nyanaponika
Bhikkhu Bodhi
Ajahn Sumedho
Ajahn Brahm
Analayo
Varanggana Vanavichayen
Dhammananda Bhikkhuni
Ayya Tathaaloka
Ayya Khema
Kee Nanayon
Dipa Ma :
Literature
Pāli Tipiṭaka
Paracanonical
Commentaries
Sub-commentaries
Paritta
Visuddhimagga
Abhidhammattha-saṅgaha
Vimuttimagga
Abhidhammāvatāra
Yogāvacara's manual :
Orders (Nikāya)
Thailand, Laos, Cambodia
Mahā
Dhammayuttika
Myanmar
Thudhamma
Shwegyin
Mahādvāra
Mūladvāra
Veḷuvana
Anaukchaung-dvāra
Hngettwin
Gaṇavimutti
Dhammayuttika
Sri Lanka
Amarapura–Rāmañña
Siam
Bangladesh
Saṅgharāja
Mahāsthabir :
Traditions
Pariyatti, paṭipatti, paṭivedha
Sādhu
Abhidhamma
Vassa
Pavāraṇā
Vipassana movement
Kammaṭṭhāna
Thai Forest
Sri Lankan Forest
Esoteric Theravāda
Dhammakaya :
Festivals
Vesākha Pūjā
Māgha Pūjā
Āsāḷha Pūjā
Kaṭhina
Abhidhamma Day
Uposatha :
Higher education
MBU
MCRU
IBC
ITBMU
SPSU
BPU
Sihanouk
Sihamoni
CSC
Sangha College
Kertarajasa
Syailendra
Nalanda
DDIBU :
vte :
The State Pariyatti Sasana University, Mandalay (Burmese: နိုင်ငံတော် ပရိယတ္တိသာသနာ့ တက္ကသိုလ် (မန္တလေး)) is a Buddhist university located in Mandalay, Myanmar, which teaches members of the Buddhist sangha, specifically in the Pitaka, Pali, Burmese language and Burmese literature, and missionary work. The university was opened on 21 August 1986. The university offers Bachelor of Arts (Sāsanatakkasīla Dhammācariya), Master of Arts (Sāsanatakkasīla Mahādhammācariya) and Ph.D (Sāsanatakkasīla Dhammapāragū) degrees, which are conferred as Burmese Buddhist titles. In 2018, 51 titles were conferred to Buddhist monks.
# Rabbie Beveridge

Robert Beveridge (24 June 1877 – 11 October 1901) was a Scottish footballer who played as a centre forward in the Football League for Everton and Nottingham Forest.
He came into consideration for an international cap at the age of 20 while with Third Lanark, taking part in one of the trial matches in 1898, but this did not lead on to selection for Scotland. He died of phthisis pulmonalis (tuberculosis) aged 24.
# Kim Sun-yong

Kim Sun-yong Jr. (born 26 May 1987) is a South Korean former professional tennis player.
Kim, who was born in Seoul, won the junior doubles title at the 2005 Australian Open, partnering Taiwan's Yi Chu-huan. He was runner-up in the boys' singles event to Donald Young and was also a singles semi-finalist at the 2005 US Open juniors.
A right-handed player, Kim featured in three Davis Cup ties for South Korea. In 2005 he won both of his singles matches against Pacific Oceania, then played a dead rubber in the Group II final against New Zealand, which he lost to Jose Statham. His only other appearance came in 2007, when he won in the singles against Dmitriy Makeyev of Kazakhstan.
# Kunio Hiramatsu

Kunio Hiramatsu (平松 邦夫, Hiramatsu Kunio, born 15 November 1948) was the mayor of Osaka in Japan. He was elected in 2007 with centre-left support from the Democratic Party of Japan (DPJ), People's New Party and the Social Democratic Party, defeating the centre-right supported incumbent Jun'ichi Seki by 50,000 votes.
Hiramatsu unsuccessfully ran for re-election in Osaka's mayoral election on 27 November 2011, when his challenger was the former Osaka Governor Tōru Hashimoto. Despite support from both major Japanese national parties (the DPJ and the Liberal Democratic Party), and the Japanese Communist Party retracting their candidate to support his re-election bid, Hiramatsu lost to Hashimoto by a margin of well over 200,000 votes.
# Alfred Edward Sephton

Alfred Edward Sephton VC (19 April 1911 – 19 May 1941) was an English recipient of the Victoria Cross, the highest and most prestigious award for gallantry in the face of the enemy that can be awarded to British and Commonwealth forces.

## Details

He was 30 years old, and a petty officer in the Royal Navy during the Second World War when the following deed took place for which he was awarded the VC.
On 18 May 1941 in the Mediterranean, south of Crete, Petty Officer Sephton was a director layer on HMS Coventry when she went to the assistance of a hospital ship which was being attacked by German dive-bombers. When the enemy engaged Coventry, strafing her with machine-gun fire, Petty Officer Sephton was mortally wounded, a bullet actually passing through his body and injuring an able seaman beside him. Although in great pain and partially blinded, nevertheless he stuck to his instruments and carried out his duties until the attack was over. He died of his injuries next day.

## The medal

Sephton's Victoria Cross was stolen from Coventry Cathedral in 1990.
# Sukenobu Kudō

Sukenobu Kudō (工藤祐信, Kudō Sukenobu, 11 September 1927 – 17 April 2012) was a Japanese speed skater. He competed at the 1952 Winter Olympics.
# Sajha Party

The Sajha Party (Nepali: साझा पार्टी) is a political party founded by former editor-in-chief of BBC Nepali Service Rabindra Mishra.

## History

Sajha Party was founded in 2017 by the former editor-in-chief of BBC Nepali Service, Rabindra Mishra. It was formed as an "alternative" party and guided by the welfare economy and inspired by global norms of democracy. The party contested the 2017 local election as independents with Ramesh Maharjan and Kishore Thapa finishing third and fourth in Kathmandu and Lalitpur elections respectively. Deputy mayor candidate Sobha Shakya finished in second place in Lalitpur, and Nirupama Yadav finished third in Kathmandu. The party was not as successful outside the Kathmandu Valley with their candidates in Itahari getting less than 500 votes.

### Bibeksheel Sajha

On 26 July 2017 the party announced that it would merge with Bibeksheel Nepali Dal to form Bibeksheel Sajha Party. The new party would be led under the joint leadership of Rabindra Mishra and Ujwal Bahadur Thapa. The party adopted scales as their electoral symbol. The party split on 11 January 2019 when party co-ordinator Ujwal Thapa, along with 16 central committee members filed an application to register his old party, Bibeksheel Nepali Dal at the Election Commission. The party changed its name to Sajha Bibeksheel Party on 27 April 2019 and later reverted to Sajha Party. The party announced on 20 October 2020 that it was in talks with Bibeksheel Nepali Dal for reunification. The two parties announced their merger on 9 December 2020 and formed the Bibeksheel Sajha Party again.

## Presence in various provinces

| Province | Seats | Year of election |
| Bagmati | 1 / 110 | 2017 |
# John Boag (footballer, born 1874)

John M. Boag (6 April 1874 – 7 February 1954) was a Scottish professional footballer, best remembered for his seven years as a centre forward in the Football League with Derby County. He also played for Cowlairs, Ashfield, East Stirlingshire and finished his career with Brentford. While with Derby County, Boag was a part of the Rams' 1898, 1899 and 1903 losing FA Cup Final sides.

## Personal life

After his retirement from football, Boag invested in a fishmongers, a laundrette and a snooker hall.

## Career statistics

Appearances and goals by club, season and competition :
| Club | Season | League | League | League | National Cup | National Cup | Total | Total |
| Club | Season | Division | Apps | Goals | Apps | Goals | Apps | Goals |
| East Stirlingshire | 1894–95 | Midland League | 0 | 0 | 1 | 0 | 1 | 0 |
| Cowlairs | 1895–96 | Scottish League Second Division | 7 | 2 | — | — | 7 | 2 |
| Derby County | 1896–97 | First Division | 2 | 0 | 0 | 0 | 2 | 0 |
| Derby County | 1897–98 | First Division | 14 | 7 | 3 | 3 | 17 | 10 |
| Derby County | 1898–99 | First Division | 21 | 6 | 5 | 3 | 26 | 9 |
| Derby County | 1899–1900 | First Division | 24 | 3 | 2 | 1 | 26 | 4 |
| Derby County | 1900–01 | First Division | 22 | 5 | 1 | 0 | 23 | 5 |
| Derby County | 1901–02 | First Division | 18 | 3 | 7 | 1 | 25 | 4 |
| Derby County | 1902–03 | First Division | 11 | 2 | 5 | 2 | 16 | 4 |
| Derby County | 1903–04 | First Division | 5 | 1 | 0 | 0 | 5 | 1 |
| Derby County | Total | Total | 117 | 27 | 23 | 10 | 140 | 37 |
| Brentford | 1904–05 | Southern League First Division | 2 | 0 | 0 | 0 | 2 | 0 |
| Career total | Career total | Career total | 126 | 29 | 24 | 10 | 150 | 39 |
# Kim Woo-jae

Kim Woo-jae (Korean: 김우재; born 26 September 1991) is a South Korean weightlifter competing in the 77 kg category until 2018 and 81 kg starting in 2018 after the International Weightlifting Federation reorganized the categories. He won the bronze medal in the men's 81 kg event at the 2022 World Weightlifting Championships held in Bogotá, Colombia.

## Career

He won the silver medal at the 2018 Asian Games in the 77 kg division.

## Major results

| Year | Venue | Weight | Snatch (kg) | Snatch (kg) | Snatch (kg) | Snatch (kg) | Clean & Jerk (kg) | Clean & Jerk (kg) | Clean & Jerk (kg) | Clean & Jerk (kg) | Total | Rank |
| Year | Venue | Weight | 1 | 2 | 3 | Rank | 1 | 2 | 3 | Rank | Total | Rank |
| Representing South Korea |||||||||||||
| World Championships |||||||||||||
| 2015 | Houston, United States | 77 kg | 147 | 151 | 155 | 10 | 181 | 186 | 187 | 24 | 336 | 15 |
| 2017 | Anaheim, United States | 77 kg | 154 | 154 | 158 | 6 | 185 | 192 | 195 | 6 | 346 | 4 |
| 2018 | Ashgabat, Turkmenistan | 81 kg | 155 | 156 | 163 | 8 | 190 | 190 | 190 | -- | -- | -- |
| 2022 | Bogotá, Colombia | 81 kg | 155 | 160 | 162 | | 190 | 194 | 195 | 5 | 357 | |
| Asian Games |||||||||||||
| 2018 | Jakarta, Indonesia | 77 kg | 155 | 160 | 162 | 1 | 187 | 187 | 187 | 2 | 347 | |
# August Man

Augustman is a men's luxury lifestyle publication, based in Singapore, which was launched in September 2006. It focuses on fashion, design, travel, art, architecture, food, sports, health, business, books, music, film, motoring and watches. The actors Ken Watanabe, Francis Ng and Daniel Dae Kim, the Japanese soccer star Hidetoshi Nakata and the chef/author/TV presenter Anthony Bourdain have appeared on its cover. The magazine also has franchises in Malaysia and Indonesia.
Augustman is published by BurdaLuxury, a subsidiary of the German media conglomerate Hubert Burda Media.
# NURP.38.BPC.6

NURP.38.BPC.6 was a pigeon who received the Dickin Medal in 1946 from the People's Dispensary for Sick Animals for bravery in service during the Second World War.
# Boreodromia

Boreodromia is a genus of flies in the family Empididae.

## Species

* B. bicolor (Loew, 1863)
# John C. Reynolds

John Charles Reynolds (June 1, 1935 – April 28, 2013) was an American computer scientist.

## Education and affiliations

John Reynolds studied at Purdue University and then earned a Doctor of Philosophy (Ph.D.) in theoretical physics from Harvard University in 1961. He was a professor of information science at Syracuse University from 1970 to 1986. From then until his death, he was a professor of computer science at Carnegie Mellon University. He also held visiting positions at Aarhus University (Denmark), The University of Edinburgh, Imperial College London, Microsoft Research (Cambridge, UK) and Queen Mary University of London.

## Academic work

Reynolds's main research interest was in the area of programming language design and associated specification languages, especially concerning formal semantics. He invented the polymorphic lambda calculus (System F) and formulated the property of semantic parametricity; the same calculus was independently discovered by Jean-Yves Girard. He wrote a seminal paper on definitional interpreters, which clarified early work on continuations and introduced the technique of defunctionalization. He applied category theory to programming language semantics. He defined the programming languages Gedanken and Forsythe, known for their use of intersection types. He worked on a separation logic to describe and reason about shared mutable data structures.
Reynolds created an elegant, idealized formulation of the programming language ALGOL, which exhibits ALGOL's syntactic and semantic purity, and is used in programming language research. It also made a convincing methodologic argument regarding the suitability of local effects in the context of call-by-name languages, in contrast with the global effects used by call-by-value languages such as ML. The conceptual integrity of the language made it one of the main objects of semantic research, along with Programming Computable Functions (PCF) and ML.
He was an editor of journals such as the Communications of the ACM and the Journal of the ACM. In 2001, he was appointed a Fellow of the Association for Computing Machinery (ACM). He won the ACM SIGPLAN Programming Language Achievement Award in 2003, and the Lovelace Medal from the British Computer Society in 2010.

## Selected publications
### Books

* The Craft of Programming, Prentice Hall International, 1981. ISBN 0-13-188862-5.
* Theories of Programming Languages, Cambridge University Press, 1998. ISBN 0-521-59414-6.

### Articles

* "Transformational Systems and the Algebraic Structure of Atomic Formulas" (PDF). Machine Intelligence. 5: 135–151. 1970.
* "Towards a Theory of Type Structure" (PDF). Colloque sur la Programmation. Paris, France. 1974. pp. 408–425. doi:10.1007/3-540-06859-7_148. Retrieved 2014-11-06.
* "Types, Abstraction and Parametric Polymorphism" (PDF). Information Processing '83. 1983. pp. 513–523. Archived from the original (PDF) on 2016-03-10. Retrieved 2014-11-06.
* "Separation Logic: A Logic for Shared Mutable Data Structures" (PDF). 17th IEEE Symposium on Logic in Computer Science (LICS 2002). pp. 55–74. doi:10.1109/LICS.2002.1029817.