1
0
0
(1 - 35 von 45
)
TYPES Programme Committee
www.types2016.uns.ac.rs
Thorsten Altenkirch (University of Nottingham); Zena Ariola (University of Oregon); Andrej Bauer (University of Ljubljana); Marc Bezem (University of Bergen) ...
TLDI 2011
people.mpi-sws.org
TLDI The Sixth ACM SIGPLAN Workshop on . Types in Language Design and Implementation . Austin, ... Thorsten Altenkirch: University of Nottingham Fritz …
Thierry Coquand | University of Gothenburg
www.gu.se
Thorsten Altenkirch, Paolo Capriotti, Thierry Coquand, Nils Anders Danielsson, Simon Huber et al. 23rd International Conference on Types for Proofs and ...
Thorsten Altenkirch (Author of Conceptual Programming with Python)
www.goodreads.com
Thorsten Altenkirch is the author of Conceptual Programming with Python (4.22 avg rating, 9 ratings, 3 reviews, published 2019), Types for Proofs and Pro...
bokus.com: Thorsten Altenkirch - Böcker | Bokus bokhandel
Köp böcker av Thorsten Altenkirch: Types for Proofs and Programs;
Einen Moment, bitte...
www.hugendubel.de
Types for Proofs and Programs, Buch bei hugendubel.de. Portofrei bestellen oder in der Filiale abholen.
Types for Proofs and Programs von Thorsten Altenkirch / Wolfgang...
www.buecher.de
Thisbookcontainsaselectionofpaperspresentedatthesecondannualworkshop heldundertheauspicesoftheEspritWorkingGroup21900Types. Theworkshop...
[ ] Quotient inductive-inductive types
arxiv.org
Title: Quotient inductive-inductive types. Authors: Thorsten Altenkirch, Paolo Capriotti, Gabe Dijkstra, Nicolai Kraus, Fredrik Nordvall Forsberg.
Abstracts - Department of Computer Sciencecs.au.dk › logic-and-semantics › eutypes2018 › abst...
cs.au.dk
More information will follow. More about the speaker: Thorsten Altenkirch, Professor at University of Nottingham. Revised
From venanzio at duplavis.com Wed Jan 1 09:13: From ...lists.seas.upenn.edu › pipermail › types-announce
lists.seas.upenn.edu
... to submitting your application: Thorsten Altenkirch - constructive logic, ... http://www.linkedin.com/groups/SPLASH-Conference Sponsored by ACM ...
Thorsten Altenkirch - dblpdblp.uni-trier.de › Thorsten Altenkirch
dblp.uni-trier.de
Thorsten Altenkirch , Paolo Capriotti , Gabe Dijkstra , Nicolai Kraus , Fredrik Nordvall Forsberg : Quotient Inductive-Inductive Types.
HIM: Schedule
www.him.uni-bonn.de
Thorsten Altenkirch: Towards higher models and syntax of type theory. We (Ambrus Kaposi and myself) have defined the intrinsic (no preterms) syntax of type theory in type theory using quotient inductive inductive types, that is set truncated higher inductive inductive types. Set truncation is necessary because we want to have decidability which ...
Types for Proofs and Programs - International Workshop, TYPES 2006,...
link.springer.com
Types for Proofs and Programs
The Agda Wiki - Papers Using Agda
wiki.portal.chalmers.se
Partiality, Revisited by Thorsten Altenkirch and Nils Anders Danielsson (extended abstract for TYPES talk; Agda formalisation).
Types for Proofs and Programs | SpringerLink
link.springer.com
Facebook Twitter LinkedIn Google++ ... Thorsten Altenkirch; Conor McBride. Series Title: Theoretical Computer Science and General Issues ...
ΠΣ: Dependent Types without the Sugar | SpringerLink
link.springer.com
The recent success of languages like Agda and Coq demonstrates the potential of using dependent types for programming. These systems rely on many high-level...
The power of Π by Thorsten Altenkirch · Signify Technologywww.signifytechnology.com › blog › › the...
www.signifytechnology.com
This talk was given by Thorsten Altenkirch at Lambda Days, a Π type is an infinite product. He runs through typing disciplines, what dependent types are, ...
Blogs by tag - types · Signify Technologywww.signifytechnology.com › blog › tag › types
www.signifytechnology.com
The power of Π by Thorsten Altenkirch. Read More. Pexels Photo scala days. Don't Fear the Implicits: Everything You N... Read More.
www.managementboek.nl › boek › types-for-pro...Types for Proofs and Programs door Thorsten Altenkirch ...
www.managementboek.nl
'Types for Proofs and Programs' door Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus - Onze prijs: €79,47 - Verwachte levertijd ongeveer
[TYPES/announce] A HoTT-Date with Thorsten Altenkirch
lists.seas.upenn.edu
[TYPES/announce] A HoTT-Date with Thorsten Altenkirch. Neil Ghani neil.ghani at strath.ac.uk. Fri Feb :02:53 EST Previous message: ...
Conor McBride's Publications
strictlypositive.org
Exploring the Regular Tree Types with Peter Morris and Thorsten Altenkirch. Draft. A Few Constructions on Constructors with Healf Goguen and James McKinna. Draft.
Conor's Staring out the Window - Conor McBride
strictlypositive.org
Epigram continues to develop at Strathclyde, and in Nottingham and St Andrews with considerable help from Thorsten Altenkirch, Edwin Brady, James Chapman, James McKinna, Peter Morris, Nicolas Oury, and Wouter Swierstra. I like making holes in things, so I've started to write a page about differential calculus with datatypes.
ΠΣ: Dependent Types without the Sugar | springerprofessional.de
www.springerprofessional.de
The recent success of languages like Agda and Coq demonstrates the potential of using dependent types for programming. These systems rely on many
Differential Calculus with Datatypes - Conor McBride
strictlypositive.org
Derivatives of Containers, with Michael Abbott, Thorsten Altenkirch and Neil Ghani. in proceedings of TLCA I was working for Durham but living in Nottingham, popping in to see Thorsten on Friday afternoons. He, Neil and Michael had been working on containers, which they'd presented at FOSSACS (revised for TCS).
Jakob von Raumer
von-raumer.de
with Thorsten Altenkirch, Ambrus Kaposi, and András Kovács 24th International Conference on Types for Proofs and Programs (TYPES), Braga, Portugal, Homotopy Type Theory in Lean with Floris van Doorn and Ulrik Buchholtz International Conference on Interactive Theorem Proving (ITP), Brasília, Brazil,
Maths - Dependent Types - Martin Baker
www.euclideanspace.com
(above diagram adapted from diagram in Thorsten Altenkirch paper) Each of these can be related to non-dependent types in two ways (blue and red lines in diagram above). As indexed types: Here we extend the binary product type to a product of multiple terms.
Thorsten Altenkirch: Higher Inductive Typesmsp.cis.strath.ac.uk › hott-afternoon › whiteboards
msp.cis.strath.ac.uk
Thorsten Altenkirch: Higher Inductive Types. (Click on images for larger versions.) Back to workshop webpage.
pisigma: A dependently typed core language
hackage.haskell.org
Thorsten Altenkirch , Andres Loeh Category: Development, Language, Dependent Types: Executables: pisigma: Upload date:
PLERG
plv.mpi-sws.org
21 May Thorsten Altenkirch, Conor McBride, James McKinna, Why Dependent Types Matter, (precursor to a POPL invited talk by McKinna) (pdf, 2-up pdf). Examples from the paper rewritten in Idris available here. 7 May Rowan Davies and Frank Pfenning, A Judgmental Reconstruction of Modal Logic, Mathematical. Structures in ...
ΠΣ: Dependent Types without the Sugar
www.andres-loeh.de
ΠΣ: Dependent Types without the Sugar Thorsten Altenkirch, Nils Anders Danielsson, Andres Löh, Nicolas Oury The recent success of languages like Agda …
Conference Programme – 24th International Conference on Types for...
types2018.projj.eu
Thorsten Altenkirch, Péter Diviánszky, Ambrus Kaposi and András Kovács. Constructing inductive-inductive types using a domain-specific type theory ...
Ambrus Kaposiakaposi.github.io
akaposi.github.io
... Setoid type theory — a syntactic translation: with Thorsten Altenkirch, ... Constructing Quotient Inductive-Inductive Types: with Thorsten Altenkirch ...
[TYPES] proofs of strong normalization for System F
lists.seas.upenn.edu
[TYPES] proofs of strong normalization for System F. Thorsten Altenkirch txa at Cs.Nott.AC.UK Tue Jul :20:00 EDT Previous message: [TYPES] ...
Homotopy Type Theory Electronic Seminar Talks - Western Universitywww.uwo.ca › faculty › kapulkin › seminars › hottest
www.uwo.ca
I will also describe two extensions: higher inductive-inductive types and higher order abstract syntax. Joint work with Thorsten Altenkirch, Rafaël Bocquet, ...
Alle Infos zum Namen "Thorsten Altenkirch"
sortiert nach Relevanz / Datum