Recent publications · Crossref
5 total works indexed
- Imperative Functional Programming with Isabelle/HOL
· 2008 · cited 64x
- Recursive monadic bindings
· 2000 · cited 27x
- A recursive do for Haskell
· 2002 · cited 19x
- Pragmatic equivalence and safety checking in Cryptol
· 2009 · cited 10x
- Türkiye Sanayisinin Küresel Değer Zincirine Entegrasyonu
· 2020 · cited 9x
via Crossref · CC0
Wikidata facts
- Instance of
- human
- Gender
- female
- Citizenship
- Turkey
- Place of birth
- Istanbul
- Occupation
- television actor
- Languages spoken
- Turkish
- Native language
- Turkish
- Notable work
- Hercai
- Eye colour
- blue
- Hair colour
- brown hair
- Mass
- 55
- Height
- 170
Show 6 more facts
- social media followers
- 21832
- name in native language
- İlay Erkök
- date of birth
- 1993-10-01
- start of work period
- 2013-00-00
- birth name
- İlay Erkök
- curriculum vitae URL
- www.wetalentmanagement.com/ilayerkok
Sources (8)
via Wikidata · CC0