D. A. Turner

12 papers C 1Misc 1Journal 4Unranked 6
YearRankTypeTitle / Venue / Authors
2021 C conf
Constructive Mathematics, Church's Thesis, and Free Choice Sequences.
CiE
D. A. Turner
2016 — conf
Recursion Equations as a Programming Language.
A List of Successes That Can Change the World
D. A. Turner
2012 — conf
Some History of Functional Programming Languages - (Invited Talk).
Trends in Functional Programming
D. A. Turner
2004 J jnl
Total Functional Programming.
J. Univers. Comput. Sci.
D. A. Turner
1996 Misc conf
SNACC: a parser generator for use with Miranda.
SAC
D. A. Turner
1995 — conf
Elementary Strong Functional Programming.
FPLE
D. A. Turner
1992 — conf
Functional Programming and Miranda.
IFIP Congress (1)
D. A. Turner
1985 — conf
Miranda: A Non-Strict Functional language with Polymorphic Types.
FPCA
D. A. Turner
1981 — conf
The semantic elegance of applicative languages.
FPCA
D. A. Turner
1979 J jnl
A New Implementation Technique for Applicative Languages.
Softw. Pract. Exp.
D. A. Turner
1979 J jnl
Another Algorithm for Bracket Abstraction.
J. Symb. Log.
D. A. Turner
1977 J jnl
Error Diagnosis and Recovery in One Pass Compilers.
Inf. Process. Lett.
D. A. Turner
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling