2011 Archives by thread
Starting: Sat Jan 1 13:02:47 CEST 2011
Ending: Sat Dec 31 12:22:42 CEST 2011
Messages: 1104
- [Agda] generative thunk?
Nils Anders Danielsson
- [Agda] Size of propositional equality?
Thorsten Altenkirch
- [Agda] Agda Observational equality using primUnsafeTrustMe?
Dominique Devriese
- [Agda] red background when trying to define the Fibonacci sequence
Wolfgang Jeltsch
- [Agda] Auto
Wolfgang Jeltsch
- [Agda] RTA 2011: extended deadline
Masahiko Sakai (RTA publicity chair)
- [Agda] Tricks to limit the memory consumption?
gallais at EnsL.org
- [Agda] New conference - Certified Programs and Proofs
bywang at iis.sinica.edu.tw
- [Agda] Universe construction
David Haguenauer
- [Agda] Agda standard library tutorial?
Andreas Abel
- [Agda] CfP: 34th IEEE Software Engineering Workshop (SEW-34)
Miroslav Velev
- [Agda] GF Summer School, Barcelona, 15-26 August
Aarne Ranta
- [Agda] Fwd: Course: Introduction to Dependently Typed Programming
using Agda
Conor McBride
- [Agda] Proving Parametricity?
Brandon Moore
- [Agda] Proving Parametricity?
Brandon Moore
- [Agda] new release
Permjacov Evgeniy
- [Agda] Call For Papers: HLDVT 2011
Shireesh Verma
- [Agda] MGS 2011
Venanzio Capretta
- [Agda] July 18-21, 2011, Int'l Conf. on Image Processing, Computer
Vision, & Pattern Recognition (IPCV), USA,
paper submission deadline: March 10, 2011
WORLDCOMP'11 Congress Conferences
- [Agda] MGS 2011
Thorsten Altenkirch
- [Agda] interactive mode
Ramana Kumar
- [Agda] --without-K
Nils Anders Danielsson
- [Agda] Problem when getting the Standard Library
Dirk Ullrich
- [Agda] July 18-21, 2011,
Call For Papers - PDPTA Int'l Conf. (Parallel & Distributed
Processing Techniques & Applications), USA,
paper submission deadline: March 10, 2011
WORLDCOMP'11 Congress Conferences
- [Agda] Universes à la Tarski and induction-recursion
Dan Doel
- [Agda] Agda Implementors' Meeting XIII
Nils Anders Danielsson
- [Agda] repository of Agda code/proofs
Pavel Perikov
- [Agda] Extending Pattern Unification to Records
Andreas Abel
- [Agda] code.haskell.org
Permjacov Evgeniy
- [Agda] Workshop Announcement: Domains X
Ulrich Berger
- [Agda] how to count 0..n-1
Jason Dusek
- [Agda] Power series in Agda
Pavel Perikov
- [Agda] Jobs combining type theory and web programming
Adam Chlipala
- [Agda] ICFP 2011: Second Call for Papers
Wouter Swierstra
- [Agda] Passing numerics to haskell
Pavel Perikov
- [Agda] Unsolved metas
Permjacov Evgeniy
- Fwd: Re: [Agda] Unsolved metas
Permjacov Evgeniy
- [Agda] commutativity/associativity representation
Permjacov Evgeniy
- Fwd: Re: [Agda] commutativity/associativity representation
Permjacov Evgeniy
- [Agda] Semantic Web library
Alan Jeffrey
- [Agda] what is status of → ?
Permjacov Evgeniy
- [Agda] CfP: SARA 2011
Miroslav Velev
- [Agda] Yet another questions about equality
Permjacov Evgeniy
- Fwd: Re: [Agda] Yet another questions about equality
Permjacov Evgeniy
- Fwd: Re: [Agda] Yet another questions about equality
Permjacov Evgeniy
- [Agda] Yet another questions about equality
Peter Hancock
- [Agda] research post
zhaohui at cs.rhul.ac.uk
- [Agda] research post
Zhaohui.Luo at rhul.ac.uk
- [Agda] Yet another questions about equality
Permjacov Evgeniy
- [Agda] Setoids
Permjacov Evgeniy
- Fwd: [Agda] how to count 0..n-1
Conor McBride
- Fwd: [Agda] how to count 0..n-1
Conor McBride
- [Agda] Applicative with arbitrary morphisms : how ?
Permjacov Evgeniy
- [Agda] WGP 2011: Call for Papers
Shin-Cheng Mu
- [Agda] ANNOUNCE: Agda 2.2.10
Nils Anders Danielsson
- [Agda] ANNOUNCE: Standard library version 0.5
Nils Anders Danielsson
- [Agda] Dependent injection without K?
Brandon Moore
- [Agda] _ synthax
Permjacov Evgeniy
- [Agda] comlicated equivalence: need help to prove
Permjacov Evgeniy
- [Agda] LOLA 2011 -- call for contributed talks
Zhong Shao
- [Agda] lhs2tex and agda identifiers
Dan Licata
- [Agda] Converting a pattern match to an equality
Will Sonnex
- [Agda] Termination not being proven
Will Sonnex
- [Agda] agda semantics
Permjacov Evgeniy
- [Agda] Junior researcher position on the FORMATH porject in
Nijmegen 6 months.
Bas Spitters
- [Agda] CFP WFLP 2011
Janis Voigtländer
- [Agda] Oregon Programming Languages Summer School 2011 - Call For
Participation
Marco Gaboardi
- [Agda] termination
Permjacov Evgeniy
- [Agda] Automatic generation of trivial proofs
Christoph Herrmann
- [Agda] PhD Positions on Trustworthy Electronic Elections
Carsten Schuermann
- [Agda] refuting with rewrite
Brandon Moore
- [Agda] CSL'11 call for papers and workshop proposals
Marcus Aloysius Bezem
- [Agda] AIM XIII accomodation
Andreas Abel
- [Agda] Sharing between records
Brandon Moore
- [Agda] ICFP 2011 Deadline Extension
Wouter Swierstra
- [Agda] change in handling of irrelevant parameters (bug?)
Darin Morrison
- [Agda] Coinductive indices
Robert J. Simmons
- [Agda] SOS 2011: Call for Papers
Keiko Nakata
- [Agda] Defining subtraction for naturals
wren ng thornton
- [Agda] CSL'11 call for papers, deadline approaching
Marcus Aloysius Bezem
- [Agda] Record types are not allowed in mutual blocks
Thorsten Altenkirch
- [Agda] Academic reference for the Fin data type
Nicolas Pouillard
- [Agda] Install failure
gallais at EnsL.org
- [Agda] Avoiding implicit argument proliferation?
Brandon Moore
- [Agda] RDP 2011: Call for Participation
Masahiko Sakai (RTA publicity chair)
- [Agda] agda coredump
Sivaram Gowkanapalli
- [Agda] RE: agda coredump
Sivaram Gowkanapalli
- [Agda] Avoiding implicit argument proliferation?
Brandon Moore
- [Agda] Call for Papers: Conference on Domain-Specific Languages
(DSL 2011)
Emilie Balland
- [Agda] Bug in record definition
Sivaram Gowkanapalli
- [Agda] elements of recursive records
Thorsten Altenkirch
- [Agda] Irrelevance and equalities?
Brandon Moore
- [Agda] Agda features/functionality that I can use
Sivaram Gowkanapalli
- [Agda] Proposed Agda feature: non-canonical implicit arguments
Dominique Devriese
- [Agda] New user question. Why does Agda reject my program.
Jesper Louis Andersen
- [Agda] Call for Papers: 1st International Workshop on Rigorous
Protocol Engineering (WRiPE 2011)
Edwin Brady
- [Agda] LOLA 2011 -- Final Call for Contributed Talks (Deadline:
April 29th)
Zhong Shao
- [Agda] Proving _!_ is inverse of tabulate...
Jason Dusek
- [Agda] binder for existential quantifier
Martin Escardo
- [Agda] CFP: Certified Programs and Proofs
Shin-Cheng Mu
- [Agda] LFMTP 2011, Call for Papers
Gopalan Nadathur
- [Agda] CFP -- Haskell Symposium 2011
Haskell Symposium
- [Agda] CFP: DTP'11
Wouter Swierstra
- [Agda] CFP: APLAS 2011, Kenting, Taiwan
Shin-Cheng Mu
- [Agda] Call for Contributions - Haskell Communities and Activities
Report, May 2011 edition
Janis Voigtländer
- [Agda] Fixing inferExpr panic
David Haguenauer
- [Agda] Announcement: Agda Intensive Meeting (AIM) XIV
KINOSHITA Yoshiki
- [Agda] Parsing Mixfix Operators, source code?
Jason Dagit
- [Agda] Agda faster with GHC 7
Dominique Devriese
- [Agda] vector foldl Miller magic?
Andreas Abel
- [Agda] very basic question about False
Vincent Siles
- [Agda] Termination Checking
Leonardo Rodriguez
- [Agda] Two Postdoc Positions at the IT University of Copenhagen
Carsten Schuermann
- [Agda] Another(!) PhD Position at Strathclyde
Conor McBride
- [Agda] Extended deadline;
IFIP sponsorship: IFIP Working Conference on Domain-Specific
Languages
Chung-chieh Shan
- [Agda] RDP 2011 - Second Call for Participation
Luca Paolini
- [Agda] Unification, the yellow stuff
Andreas Abel
- [Agda] CFP: Foundations of Coordination Languages and Software
Architectures (Deadline: June 3)
Mousavi, M.
- [Agda] REMINDER: Haskell Communities and Activities Report,
May 2011 edition
Janis Voigtländer
- [Agda] A question of terminology
Andreas Abel
- [Agda] AIM XIII code sprints
Andreas Abel
- [Agda] induction recursion - normalisation
Ondrej Rypacek
- [Agda] general question
Martin Escardo
- [Agda] mutual recursion
Ondrej Rypacek
- [Agda] Is this a bug?
Sivaram Gowkanapalli
- [Agda] agda syb 0.3 haskell platform 2011.2.0.1
Mark Wright
- [Agda] AIM XIII code sprints
Andreas Abel
- [Agda] Problem with a simple proof
Caylee Hogg
- [Agda] 2nd CFP: ACM SIGPLAN 7th Workshop on Generic Programming
(WGP 2011)
Shin-Cheng Mu
- [Agda] Instance arguments: three more updates
Dominique Devriese
- [Agda] Call for Papers: 3rd Workshop on Modules and Libraries for
Proof Assistants (affiliated with ITP 2011)
Florian Rabe
- [Agda] Small-scale reflection in Agda
Jean-Philippe Bernardy
- [Agda] Running a classical proof with choice in Agda
Martin Escardo
- [Agda] Running a classical proof with choice in Agda
Martin Escardo
- [Agda] Logic related PhD studentships available in Swansea, UK
Anton Setzer
- [Agda] Record "Setters"?
Liam O'Connor
- [Agda] An update on ICFP'11 in Tokyo (September 18-24, 2011)
Wouter Swierstra
- [Agda] Post-Doctoral Position at Yale University
Zhong Shao
- [Agda] records in mutual blocks
Thorsten Altenkirch
- [Agda] LFMTP 2011 Call for Papers (2nd Call)
Gopalan Nadathur
- [Agda] Agda beginner's problem
Christian Sternagel
- [Agda] Coq Workshop: Call for informal presentations and
demonstrations
Bas Spitters
- [Agda] SOS 2011: 2nd Call for Papers
Keiko Nakata
- [Agda] Call for papers: HLDVT 2011 (with a journal special section)
Shireesh Verma
- [Agda] Building Coinductive Trees
Brandon Moore
- [Agda] ANNOUNCE: Haskell Communities and Activities Report (20th
ed., May 2011)
Janis Voigtländer
- [Agda] PhD studentship related to programming languages
Anton Setzer
- [Agda] heap mistery
Martin Escardo
- [Agda] Building Coinductive Trees
Brandon Moore
- [Agda] CPP 2011 - Call for Papers
bywang at iis.sinica.edu.tw
- [Agda] An agsy-mmetry proof
Sebastian Hanowski
- [Agda] Lightweight dependency management using make
Alan Jeffrey
- [Agda] Postulating double-negated consistent axioms without
breaking canonicity?
Nils Anders Danielsson
- [Agda] LOLA 2011 Final Program and Call for Participation
Zhong Shao
- [Agda] 2nd CFP -- Haskell Symposium 2011
Haskell Symposium
- [Agda] Re: Syntax for anonymous functions
Jean-Philippe Bernardy
- [Agda] Invitation to submit a paper to the PSC track @ ACM SAC
Emiliano Tramontana
- [Agda] ANN: coq-like agda-mode support for databases of lemmas
Wojciech Jedynak
- [Agda] ANN: coq-like agda-mode support for databases of lemmas
[fixed?]
Wojciech Jedynak
- [Agda] ANN: coq-like agda-mode support for databases of lemmas
Fredrik Lindblad
- [Agda] Recursive types for free?
Anthony de Almeida Lopes
- [Agda] ANN: coq-like agda-mode support for databases of lemmas -
important bugfix
Wojciech Jedynak
- [Agda] mutual haskell types with MAlonzo
Perikov Pavel
- [Agda] RATH-Agda-1.0: Relation-Algebraic Theories in Agda
Wolfram Kahl
- [Agda] CFP: DBPL '11
Nate Foster
- [Agda] Nice programming challenge
Martin Escardo
- [Agda] ANN: convenient way to add a with expression from a goal
Wojciech Jedynak
- [Agda] Recursive types for free?
Dan Doel
- [Agda] DTP 2011: Second Call for Talks
Wouter Swierstra
- [Agda] Syntax precedences
Dominique Devriese
- [Agda] Typechecking failure for Agda Standard Library
Dirk Ullrich
- [Agda] Call for Papers: London International Conference on
Education!
m.smith at liceducation.org
- [Agda] TYPES 2011 in Bergen 8 - 11 Sept: Deadline for abstracts 19
June
Marcus Aloysius Bezem
- [Agda] Agda compiler backend targeting JavaScript
Alan Jeffrey
- [Agda] Agda compiler backend targeting JavaScript
Alan Jeffrey
- [Agda] Call for Papers: The 6th International Conference for
Internet Technology and Secured Transactions (ICITST-2011)!
g.akmayeva at icitst.org
- [Agda] Sized types and coinduction
Brandon Moore
- [Agda] HLDVT 2011: Paper submission deadline extended
Shireesh Verma
- [Agda] Process: how to extend the Agda standard library?
Christoph Herrmann
- [Agda] curious
Silvio Frischknecht
- [Agda] ANN: agda-move-improvements-0.3
Wojciech Jedynak
- [Agda] Call for Papers: APLAS+CPP (new deadlines)
bywang at iis.sinica.edu.tw
- [Agda] IICE-2011: Call for Papers!
Margaret Smith
- [Agda] Last Call for Papers: 3rd Workshop on Modules and Libraries
for Proof Assistants (affiliated with ITP 2011)
Florian Rabe
- [Agda] TYPES/CSL'11: registration open, TYPES deadline approaching
Marcus Aloysius Bezem
- [Agda] HLDVT 2011: 2 days to abstract submission deadline
Shireesh Verma
- [Agda] Impossible proofs about where blocks?
Daniel Peebles
- [Agda] literate Agda with unicode in latex
Martin Escardo
- [Agda] Overlapping patterns in function definition -- strange
behavior
Wojciech Jedynak
- [Agda] Re: Overlapping patterns in function definition -- strange
behavior [more examples]
Wojciech Jedynak
- [Agda] Two papers using Agda
Alan Jeffrey
- [Agda] Overloaded literals
Dominique Devriese
- [Agda] Implicit variables on data constructors
Simon Foster
- [Agda] SPLST 2011 - Call for Papers
James Chapman
- [Agda] CFP: PADL'12 - Practical Aspects of Declarative Languages
2012
Claudio Russo
- [Agda] Call for participation: DTP 2011
Wouter Swierstra
- [Agda] Absurd lambdas and equality
Daniel Peebles
- [Agda] Domains X 2011: Call for Participation
Ulrich Berger
- [Agda] constructor-headed functions to Set
Brandon Moore
- [Agda] TLDI 2012 - Call for Papers and Contributed Talks
Benjamin C. Pierce
- [Agda] RTA 2012: Call for Workshop Proposals
Masahiko Sakai
- [Agda] Irrelevance and propositional equality
Alan Jeffrey
- [Agda] Documentation of the (not only) latest features
Wojciech Jedynak
- [Agda] Documentation of the (not only) latest features
Joe M
- [Agda] hello, I've done something terrible...
Jeremy Shaw
- [Agda] ICFP 2011: Call for participation
Wouter Swierstra
- [Agda] Divergence in inference with constructor-headed functions
Brandon Moore
- Fwd: [Agda] hello, I've done something terrible...
Perikov Pavel
- [Agda] dependent mutually inductive types
Michael Shulman
- [Agda] DBPL '11 Call for participation
Nate Foster
- [Agda] FRP implementation in Agda
Alan Jeffrey
- [Agda] Agda's unification: postulates versus data types
Andrés Sicard-Ramírez
- [Agda] Eta reduction of a function argument in a where block
Wojciech Jedynak
- [Agda] Hello World
Guillaume Yziquel
- [Agda] Abstract, definitional equality and propositional equality
Andrés Sicard-Ramírez
- [Agda] PhD Position available at Strathclyde
Conor McBride
- [Agda] Second CFP: PADL'12 - Practical Aspects of Declarative
Languages 2012
Claudio Russo
- [Agda] Agda without emacs?
Grigory Sarnitskiy
- [Agda] segmentation fault when printing a number
Ben Clifford
- [Agda] Efficient numeric computations in Agda
Arseniy Alekseyev
- [Agda] Call for Papers: The 6th International Conference for
Internet Technology and Secured Transactions (ICITST-2011)!
d.lin at icitst.org
- [Agda] Call for Participation: LFMTP/MLPA, August 26, Nijmegen
Florian Rabe
- [Agda] Termination checking with partiality monad
Brandon Moore
- [Agda] Deadline extension: (August 31): SPLST'11
James Chapman
- [Agda] Prop was removed in 2.2.8
Pavel Perikov
- [Agda] Agda performance improvements
Ulf Norell
- [Agda] MAP2011
Bas Spitters
- [Agda] Call for Paper: PSC track at SAC
Emiliano Tramontana
- [Agda] Problem with propositional equality (or my understanding of
it)
José Pedro Magalhães
- [Agda] A proof of omniscience in Agda
Martin Escardo
- [Agda] Re: Agda Digest, Vol 73, Issue 2
Valeria de Paiva
- [Agda] Final CFP: PADL'12 - Practical Aspects of Declarative
Languages 2012
Claudio Russo
- [Agda] CFP: Programming Languages meets Program Verification (PLPV
2012)
PLPV 2012
- [Agda] PLPV 2012 Call for papers
Matthieu Sozeau
- [Agda] Mathematics of Program Construction - first call for papers
Jeremy.Gibbons at comlab.ox.ac.uk
- [Agda] Inspect on steroids
Ulf Norell
- [Agda] Strathclyde PhD Position (new start date)
Conor McBride
- [Agda] Agda running in the browser
Alan Jeffrey
- [Agda] TLDI 2012 - Call for Papers and Contributed Talks (updated)
Benjamin C. Pierce
- [Agda] New release soon
Nils Anders Danielsson
- [Agda] Univalent Foundations program 2012-2013
Vladimir Voevodsky
- [Agda] Cannot type-check Level.agda in the Agda standard library
with the current Agda 2.2.11 (command line)
IKEGAMI Daisuke
- [Agda] Compiler internals for projection functions
Jeffrey, Alan S A (Alan)
- [Agda] Termination and efficiency of higher order functions over
nested datatypes
Alan Jeffrey
- [Agda] ITP 2012: Call for workshop proposals
Lennart Beringer
- [Agda] MSFP 2012: Call for Papers
James Chapman
- [Agda] RTA 2012: First Call For Papers
Georg
- [Agda] Pattern matching on irrelevant data
Andreas Abel
- [Agda] Mapping QNames to module names?
Alan Jeffrey
- [Agda] Unit testing
Alan Jeffrey
- [Agda] PhD Positions on Trustworthy Electronic Elections
Carsten Schürmann
- [Agda] Agda's coinduction incompatible with initial algebras
Andreas Abel
- [Agda] Chalmers FP is hiring 2 Assistant Professors in Functional
Programming: deadline 2011-10-18
Patrik Jansson
- [Agda] Agda bindings for raw JS arrays and objects
Alan Jeffrey
- [Agda] CICM 2012: Call for workshops
Johan Jeuring
- [Agda] 2nd CFP: Programming Languages meets Program Verification
(PLPV 2012)
PLPV 2012
- [Agda] PLPV 2012: Updated Call for Papers
Matthieu Sozeau
- [Agda] Choice sequences and effects
Peter Hancock
- [Agda] Something like type classes in Agda?
Dirk Ullrich
- [Agda] Externally vs internally consistent exensions of Agda
Alan Jeffrey
- [Agda] 'Dummie' question - why records?
Dirk Ullrich
- [Agda] 'Dummie' question - why records?
Wojciech Jedynak
- [Agda] My coinductive function doesn't termination-check
Nick Smallbone
- [Agda] ICFP 2012: Call for workshops and co-located events
Wouter Swierstra
- [Agda] FLOPS 2012 call for papers
Keiko Nakata
- [Agda] FSFLA 2011: call for participation
"Carlos Martín Vide"
- [Agda] Read up on cabal insanities
Andreas Abel
- [Agda] Re: 'Dummie' question - why records?
Zhaohui Luo
- [Agda] Associativity for free!
Alan Jeffrey
- [Agda] Associativity for free!
James Chapman
- [Agda] Do-notation with mix fix binders?
Liam O'Connor
- [Agda] WSMBio 2012: 1st announcement
"Carlos Martín Vide"
- [Agda] Ordinals in Agda
Martin Escardo
- [Agda] A proof of the irrationality of the square root in Agda
IKEGAMI Daisuke
- [Agda] an update to Foundations
Vladimir Voevodsky
- [Agda] WST 2012: First Call For Papers
Georg Moser
- [Agda] 1yr researcher on the formath project
Bas Spitters
- [Agda] CRA-W/CDC Programming Languages Mentoring Workshop
Stephanie Weirich
- [Agda] subset types? refinement types? type synonyms? type
abbreviations?
Ramana Kumar
- [Agda] LTL Types FRP: Linear-time Temporal Logic Propositions as
Types, Proofs as Functional Reactive Programs
Alan Jeffrey
- [Agda] LTL Types FRP: Linear-time Temporal Logic Propositions
as Types, Proofs as Functional Reactive Programs
Alan Jeffrey
- [Agda] subset types? refinement types? type synonyms? type
abbreviations?
Ramana Kumar
- [Agda] collections/containers/finite sets
Ramana Kumar
- [Agda] Are there unicorns in Agda?
Martin Escardo
- [Agda] A proof of the irrationality of the square root in Agda
IKEGAMI Daisuke
- [Agda] Are there unicorns in Agda?
Martin Escardo
- [Agda] keywords, syntax
Ramana Kumar
- [Agda] interactive evaluation and typechecking
Ramana Kumar
- [Agda] First call for papers CICM 2012 - Conference on Intelligent
Computer Mathematics
Johan Jeuring
- [Agda] MSFP 2012: Second Call for Papers
James Chapman
- [Agda] Parallel or
Alan Jeffrey
- Fwd: [Agda] Parallel or
Dan Doel
- [Agda] Transitive-on
Ramana Kumar
- [Agda] strict total order on characters
Ramana Kumar
- [Agda] implicit arguments and mixfix
Ramana Kumar
- [Agda] injectivity of Data.Char.toNat?
Ramana Kumar
- [Agda] records and modules
Ramana Kumar
- [Agda] Cannot get definitional equality to trigger?
Wolfram Kahl
- [Agda] links in generated html files
Ramana Kumar
- [Agda] Agda 2.3.0 released
Ulf Norell
- [Agda] Normalization by Evaluation
Brandon Moore
- [Agda] CICE-2012: Call for Papers!
Margaret Smith
- [Agda] WSMBio 2012: 2nd announcement
GRLMC
- [Agda] PADL 2012 Call for Participation
Claudio Russo
- [Agda] ITP'12: final call for workshop proposals
Lennart Beringer
- [Agda] MFPS First Call for Papers
Ulrich Berger
- [Agda] a termination problem
Ramana Kumar
- [Agda] Binding two identifiers using user-defined syntax
Andrés Sicard-Ramírez
- [Agda] WSLST 2012: 3rd announcement
GRLMC
- [Agda] how does BUILTIN work - practical programming in Agda
Silvio Frischknecht
- [Agda] TLDI 2012 Call for participation
Benjamin C. Pierce
- [Agda] type checker
Cecilia Manzino
- [Agda] Relaxing the strict positivity requirement
Daniel Peebles
- [Agda] WST 2012: Second Call For Papers
Georg Moser
- [Agda] SSFLA 2012: 1st announcement
GRLMC
- [Agda] Final CFP FLOPS 2012
Peter Thiemann
- [Agda] RTA 2012: Second Call For Papers
Georg Moser
- [Agda] Compile-time parsing
Peter Thiemann
- [Agda] Mathematics of Program Construction: Second Call for Papers
Jeremy.Gibbons at cs.ox.ac.uk
- [Agda] REMINDER: Ireland International Conference on Education
(IICE-2012): Call for Papers!
L inda Woods
- [Agda] Are two equal things the same?
Martin Escardo
- [Agda] MSFP 2012 deadline extension
James Chapman
- [Agda] Pattern matching weirdness?
Pierre Hyvernat
- [Agda] Agda Implementors' Meeting XV: please register
Andreas Abel
- [Agda] PADL 2012 Final Call for Participation
Claudio Russo
- [Agda] CfP: Domains X 2011
Jens Blanck
- [Agda] Building with GHC 7.4
Dirk Ullrich
- [Agda] Agda as an embedded language
Ertugrul Söylemez
- [Agda] Announcement: workshop on Automation in Proof Assistants (31
Mar - 1 Apr 2012)
Hugo Herbelin
- [Agda] Lightweight free theorems
Andrea Vezzosi
- [Agda] REMINDER: Ireland International Conference on Education
(IICE-2012): Call for Papers!
L inda Woods
- [Agda] Call for Papers: World Congress on Internet Security (WorldCIS-2012)
Paul Kelly
- [Agda] ANNOUNCE: Standard library version 0.6
Nils Anders Danielsson
- [Agda] Final Call For Papers RTA 2012
Georg Moser
- [Agda] WSMBio 2012: 3rd announcement
GRLMC
Last message date:
Sat Dec 31 12:22:42 CEST 2011
Archived on: Wed Jan 4 09:59:16 CEST 2012
This archive was generated by
Pipermail 0.09 (Mailman edition).