Personal tools
You are here: Home

Did you not find what you were looking for? Try the Advanced Search to refine your search.

Search results 46 items matching your search terms

Subscribe to an always-updated feed of these search terms

Event LFCS seminar: Laurence Tratt: Fine-grained language composition
Event LFCS seminar: Ohad Kammar: A monad for full ground reference cells
Event LFCS seminar: Sam Tobin-Hochstadt: Typed Racket and gradual typing
Event LFCS seminar: Andrea Cali: Searching and querying the deep web: a foundational approach
Event LFCS seminar: Tarmo Uustalu: Dynamic programming and coalgebras with sharing
Event LFCS seminar: Aggelos Kiayias: End-to-end verifiable elections
Event LFCS seminar: Zachary N. J. Peterson: Can games fix what's wrong with computer security education?
Event LFCS seminar: Anastasis Georgoulas: Probabilistic programming process algebra
Event LFCS seminar: KC Sivaramakrishnan: Practical Algebraic Effect Handlers in Multicore OCaml
Event LFCS seminar: Martin Hofmann: Higher-order Buchi types
Event LFCS seminar: Stephen Dolan: Polymorphism, subtyping and type inference in MLsub
Event LFCS seminar: Sebastian Maneth: A survey of equivalence problems for tree transducers
Event LFCS seminar: Philip Scott: An introduction to many-valued logics and effect algebras
Event LFCS seminar: Verena Wolf: Generalized method of moments for estimating parameters of stochastic reaction networks
Event LFCS seminar: Gunnar Wilken: Combining Howard’s ordinal assignment and Weiermann’s collapsing technique to analyse Gödel’s T
Event LFCS seminar: Mihai Budiu: Visualizing billion-row datasets