Defining (Co)datatypes and Primitively (Co)recursive Functions in Isabelle/HOL Julian Biendarra, Jasmin Christian Blanchette, Martin Desharnais, Lorenz Panny, Andrei Popescu, and Dmitriy Traytel 15 August 2018

Source URL: mirror.clarkson.edu

• Computer programming
• Software engineering
• Computing
• Recursion
• Type theory
• Data types
• Theoretical computer science
• Functional programming
• Recursive data type
• Inductive data type
• Corecursion
• Mutual recursion

Defining (Co)datatypes and Primitively (Co)recursive Functions in Isabelle/HOL Julian Biendarra, Jasmin Christian Blanchette, Martin Desharnais, Lorenz Panny, Andrei Popescu, and Dmitriy Traytel 15 August 2018

Source URL: isabelle.in.tum.de

• Computer programming
• Software engineering
• Computing
• Recursion
• Type theory
• Data types
• Theoretical computer science
• Functional programming
• Recursive data type
• Inductive data type
• Corecursion
• Mutual recursion

Enter the Hydra: Towards Principled Bug Bounties and Exploit-Resistant Smart Contracts Lorenz Breidenbach, Cornell Tech, IC3, ETH Zurich; Philip Daian, Cornell Tech, IC3; Florian Tramer, Stanford; Ari Juels, Cornell Tech

Source URL: www.usenix.org

• Cryptocurrencies
• Ethereum
• Blockchains
• Computing
• Alternative currencies
• Concurrent computing
• Distributed computing
• Cross-platform software
• Bug bounty program
• Smart contract
• Software bug
• Bounty

Defining (Co)datatypes and Primitively (Co)recursive Functions in Isabelle/HOL Julian Biendarra, Jasmin Christian Blanchette, Martin Desharnais, Lorenz Panny, Andrei Popescu, and Dmitriy Traytel 15 August 2018

Source URL: www.cl.cam.ac.uk

• Computer programming
• Software engineering
• Computing
• Recursion
• Type theory
• Data types
• Theoretical computer science
• Functional programming
• Recursive data type
• Inductive data type
• Corecursion
• Mutual recursion

MARCH for SCIENCE HEIDELBERG Redebeiträge / Speakers’ contributions Lorenz Adlung, Science Slammer/Doktorand DKFZ .......................................................................................................

Source URL: marchforscience.de

gestaltung: art-work-buero.de Gerd Blum, Münster Diedrich Diederichsen, Stuttgart Richard Eldridge, Swarthmore College Lorenz Engell, Weimar

Source URL: www.dgae.de

The Role of Aristotelian Diagrams in Scientific Communication Lorenz Demey Abstract:

Source URL: www.logicalgeometry.org

Designing a Feedback Control System via Mixed-Integer Programming Lena C. Altherr, Thorsten Ederer, Ulf Lorenz, Peter Pelz, Philipp P¨ottgen Abstract Pure analytical or experimental methods can only find a control strat

Source URL: wl.fst.tu-darmstadt.de

CSIDH: An Efficient Post-Quantum Commutative Group Action Wouter Castryck1 , Tanja Lange2 , Chloe Martindale2 , Lorenz Panny2 , and Joost Renes3 , , chloemartindale@

Source URL: www.cs.ru.nl

SVM-Based Failure Detection of GHT Localizations T. Blaffert*a, C. Lorenz a, H. Nickisch a, J. Peters a, J. Weese a a Philips Research Laboratories, Hamburg, Germany ABSTRACT This paper addresses the localization of anat

Source URL: hannes.nickisch.org