Search Results

Examples and Results from a BSc-level Course on Domain Specific Languages of Mathematics

• Authors : Patrik Jansson

Subjects: Mathematics

• Source: Electronic Proceedings in Theoretical Computer Science, Vol 295, Iss Proc. TFPIE 2018, Pp 79-90 (2019)

Record details

Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis Using Functional Programming

• Authors : Cezar Ionescu

Subjects: Mathematics

• Source: Electronic Proceedings in Theoretical Computer Science, Vol 230, Iss Proc. TFPIE 2015/6, Pp 1-15 (2016)

Record details

Teaching Formal Methods and Discrete Mathematics

• Authors : Mathieu Jaume

Subjects: Mathematics

• Source: Electronic Proceedings in Theoretical Computer Science, Vol 149, Iss Proc. F-IDE 2014, Pp 30-43 (2014)

Record details

Gelfand spectra in Grothendieck toposes using geometric mathematics

• Authors : Bas Spitters

Subjects: Mathematics

• Source: Electronic Proceedings in Theoretical Computer Science, Vol 158, Iss Proc. QPL 2012, Pp 77-107 (2014)

Record details

The GF Mathematics Library

• Authors : Jordi Saludes

Subjects: Mathematics

• Source: Electronic Proceedings in Theoretical Computer Science, Vol 79, Iss Proc. THedu 2011, Pp 102-110 (2012)

Record details

Mathematics Is Imprecise

• Authors : Prabhakar Ragde

Subjects: Mathematics

• Source: Electronic Proceedings in Theoretical Computer Science, Vol 106, Iss Proc. TFPIE 2012, Pp 40-49 (2013)

Record details

From Mathematics to Abstract Machine: A formal derivation of an executable Krivine machine

• Authors : Wouter Swierstra

Subjects: Mathematics

• Source: Electronic Proceedings in Theoretical Computer Science, Vol 76, Iss Proc. MSFP 2012, Pp 163-177 (2012)

Record details

State Complexity of the Multiples of the Thue-Morse Set

• Authors : Charlier, Emilie

Subjects: Thue-Morse set

• Source: Electronic Proceedings in Theoretical Computer Science, 305, 34-49 (2019); The Tenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2019), Bordeaux, France [FR],

Record details

A logical account of subtyping for session types

• Authors :

Subjects: Electronic computers. Computer science

Record details

OptiRica : Towards an Efficient Optimizing Horn Solver

• Authors : Hojjat, Hossein

Subjects: Computer Sciences

Record details