The following packages were found for maintainer: richards+netbsd+AT+CS.Princeton.EDU
lang/smlnj [CURRENT] Popular functional language from Bell Labs
lang/smlnj11072 [CURRENT] Popular functional language from Bell Labs
lang/twelf [pkgsrc-2007Q2] Meta-language for proving properties of languages and logics
lang/coq [pkgsrc-2007Q2] Theorem prover which extracts programs from proofs
lang/smlnj [pkgsrc-2007Q2] Popular functional language from Bell Labs
lang/coq [pkgsrc-2007Q3] Theorem prover which extracts programs from proofs
lang/twelf [pkgsrc-2007Q3] Meta-language for proving properties of languages and logics
lang/smlnj [pkgsrc-2007Q3] Popular functional language from Bell Labs
lang/smlnj [pkgsrc-2007Q4] Popular functional language from Bell Labs
lang/twelf [pkgsrc-2007Q4] Meta-language for proving properties of languages and logics
lang/coq [pkgsrc-2007Q4] Theorem prover which extracts programs from proofs
lang/coq [pkgsrc-2008Q1] Theorem prover which extracts programs from proofs
lang/smlnj [pkgsrc-2008Q1] Popular functional language from Bell Labs
lang/twelf [pkgsrc-2008Q1] Meta-language for proving properties of languages and logics
lang/coq [pkgsrc-2008Q2] Theorem prover which extracts programs from proofs
lang/smlnj [pkgsrc-2008Q2] Popular functional language from Bell Labs
lang/twelf [pkgsrc-2008Q2] Meta-language for proving properties of languages and logics
lang/smlnj [pkgsrc-2008Q3] Popular functional language from Bell Labs
lang/twelf [pkgsrc-2008Q3] Meta-language for proving properties of languages and logics
lang/coq [pkgsrc-2008Q3] Theorem prover which extracts programs from proofs
lang/smlnj [pkgsrc-2008Q4] Popular functional language from Bell Labs
lang/twelf [pkgsrc-2008Q4] Meta-language for proving properties of languages and logics
lang/coq [pkgsrc-2008Q4] Theorem prover which extracts programs from proofs
lang/coq [pkgsrc-2009Q1] Theorem prover which extracts programs from proofs
lang/twelf [pkgsrc-2009Q1] Meta-language for proving properties of languages and logics
lang/smlnj [pkgsrc-2009Q1] Popular functional language from Bell Labs
lang/smlnj [pkgsrc-2009Q2] Popular functional language from Bell Labs
lang/twelf [pkgsrc-2009Q2] Meta-language for proving properties of languages and logics
lang/coq [pkgsrc-2009Q2] Theorem prover which extracts programs from proofs
lang/smlnj [pkgsrc-2009Q3] Popular functional language from Bell Labs
lang/coq [pkgsrc-2009Q3] Theorem prover which extracts programs from proofs
lang/twelf [pkgsrc-2009Q3] Meta-language for proving properties of languages and logics
lang/coq [pkgsrc-2009Q4] Theorem prover which extracts programs from proofs
lang/twelf [pkgsrc-2009Q4] Meta-language for proving properties of languages and logics
lang/smlnj [pkgsrc-2009Q4] Popular functional language from Bell Labs
lang/twelf [pkgsrc-2010Q1] Meta-language for proving properties of languages and logics
lang/coq [pkgsrc-2010Q1] Theorem prover which extracts programs from proofs
lang/smlnj [pkgsrc-2010Q1] Popular functional language from Bell Labs
lang/twelf [pkgsrc-2010Q2] Meta-language for proving properties of languages and logics
lang/smlnj [pkgsrc-2010Q2] Popular functional language from Bell Labs
lang/coq [pkgsrc-2010Q2] Theorem prover which extracts programs from proofs
lang/smlnj [pkgsrc-2010Q3] Popular functional language from Bell Labs
lang/coq [pkgsrc-2010Q3] Theorem prover which extracts programs from proofs
lang/twelf [pkgsrc-2010Q3] Meta-language for proving properties of languages and logics
lang/smlnj [pkgsrc-2010Q4] Popular functional language from Bell Labs
lang/coq [pkgsrc-2010Q4] Theorem prover which extracts programs from proofs
lang/twelf [pkgsrc-2010Q4] Meta-language for proving properties of languages and logics
lang/smlnj [pkgsrc-2011Q1] Popular functional language from Bell Labs
lang/coq [pkgsrc-2011Q1] Theorem prover which extracts programs from proofs
lang/twelf [pkgsrc-2011Q1] Meta-language for proving properties of languages and logics
lang/coq [pkgsrc-2011Q2] Theorem prover which extracts programs from proofs
lang/smlnj [pkgsrc-2011Q2] Popular functional language from Bell Labs
lang/twelf [pkgsrc-2011Q2] Meta-language for proving properties of languages and logics
lang/smlnj [pkgsrc-2011Q3] Popular functional language from Bell Labs
lang/twelf [pkgsrc-2011Q3] Meta-language for proving properties of languages and logics
lang/coq [pkgsrc-2011Q3] Theorem prover which extracts programs from proofs
lang/smlnj [pkgsrc-2011Q4] Popular functional language from Bell Labs
lang/coq [pkgsrc-2011Q4] Theorem prover which extracts programs from proofs
lang/twelf [pkgsrc-2011Q4] Meta-language for proving properties of languages and logics
lang/smlnj [pkgsrc-2012Q1] Popular functional language from Bell Labs
lang/twelf [pkgsrc-2012Q1] Meta-language for proving properties of languages and logics
lang/coq [pkgsrc-2012Q1] Theorem prover which extracts programs from proofs
lang/twelf [pkgsrc-2012Q2] Meta-language for proving properties of languages and logics
lang/coq [pkgsrc-2012Q2] Theorem prover which extracts programs from proofs
lang/smlnj [pkgsrc-2012Q2] Popular functional language from Bell Labs
lang/twelf [pkgsrc-2012Q3] Meta-language for proving properties of languages and logics
lang/coq [pkgsrc-2012Q3] Theorem prover which extracts programs from proofs
lang/smlnj [pkgsrc-2012Q3] Popular functional language from Bell Labs
lang/twelf [pkgsrc-2012Q4] Meta-language for proving properties of languages and logics
lang/smlnj [pkgsrc-2012Q4] Popular functional language from Bell Labs
lang/twelf [pkgsrc-2013Q1] Meta-language for proving properties of languages and logics
lang/smlnj [pkgsrc-2013Q1] Popular functional language from Bell Labs
lang/twelf [pkgsrc-2013Q2] Meta-language for proving properties of languages and logics
lang/smlnj [pkgsrc-2013Q2] Popular functional language from Bell Labs
lang/twelf [pkgsrc-2013Q3] Meta-language for proving properties of languages and logics
lang/smlnj [pkgsrc-2013Q3] Popular functional language from Bell Labs
lang/smlnj [pkgsrc-2013Q4] Popular functional language from Bell Labs
lang/twelf [pkgsrc-2013Q4] Meta-language for proving properties of languages and logics
lang/smlnj [pkgsrc-2014Q1] Popular functional language from Bell Labs
lang/twelf [pkgsrc-2014Q1] Meta-language for proving properties of languages and logics
lang/smlnj [pkgsrc-2014Q2] Popular functional language from Bell Labs
lang/twelf [pkgsrc-2014Q2] Meta-language for proving properties of languages and logics
lang/smlnj [pkgsrc-2014Q3] Popular functional language from Bell Labs
lang/twelf [pkgsrc-2014Q3] Meta-language for proving properties of languages and logics
lang/twelf [pkgsrc-2014Q4] Meta-language for proving properties of languages and logics
lang/smlnj [pkgsrc-2014Q4] Popular functional language from Bell Labs
lang/smlnj [pkgsrc-2015Q1] Popular functional language from Bell Labs
lang/smlnj [pkgsrc-2015Q2] Popular functional language from Bell Labs
lang/smlnj [pkgsrc-2015Q3] Popular functional language from Bell Labs
mail/ja-mh/pkgsrc/lang/smlnj [pkgsrc-2015Q3] Popular functional language from Bell Labs
lang/smlnj [pkgsrc-2015Q4] Popular functional language from Bell Labs
lang/smlnj [pkgsrc-2016Q1] Popular functional language from Bell Labs
lang/smlnj [pkgsrc-2016Q2] Popular functional language from Bell Labs
lang/smlnj11072 [pkgsrc-2016Q3] Popular functional language from Bell Labs
lang/smlnj [pkgsrc-2016Q3] Popular functional language from Bell Labs
lang/smlnj11072 [pkgsrc-2016Q4] Popular functional language from Bell Labs
lang/smlnj [pkgsrc-2016Q4] Popular functional language from Bell Labs
lang/smlnj [pkgsrc-2017Q1] Popular functional language from Bell Labs
lang/smlnj11072 [pkgsrc-2017Q1] Popular functional language from Bell Labs
lang/smlnj11072 [pkgsrc-2017Q2] Popular functional language from Bell Labs
lang/smlnj [pkgsrc-2017Q2] Popular functional language from Bell Labs
lang/smlnj11072 [pkgsrc-2017Q3] Popular functional language from Bell Labs
lang/smlnj [pkgsrc-2017Q3] Popular functional language from Bell Labs
lang/smlnj11072 [pkgsrc-2017Q4] Popular functional language from Bell Labs
lang/smlnj [pkgsrc-2017Q4] Popular functional language from Bell Labs
lang/smlnj [pkgsrc-2018Q1] Popular functional language from Bell Labs
lang/smlnj11072 [pkgsrc-2018Q1] Popular functional language from Bell Labs
lang/smlnj11072 [pkgsrc-2018Q2] Popular functional language from Bell Labs
lang/smlnj [pkgsrc-2018Q2] Popular functional language from Bell Labs
lang/smlnj11072 [pkgsrc-2018Q3] Popular functional language from Bell Labs
lang/smlnj [pkgsrc-2018Q3] Popular functional language from Bell Labs
lang/smlnj [pkgsrc-2018Q4] Popular functional language from Bell Labs
lang/smlnj11072 [pkgsrc-2018Q4] Popular functional language from Bell Labs
lang/smlnj11072 [pkgsrc-2019Q1] Popular functional language from Bell Labs
lang/smlnj [pkgsrc-2019Q1] Popular functional language from Bell Labs
lang/smlnj11072 [pkgsrc-2019Q2] Popular functional language from Bell Labs
lang/smlnj [pkgsrc-2019Q2] Popular functional language from Bell Labs
lang/smlnj11072 [pkgsrc-2019Q3] Popular functional language from Bell Labs
lang/smlnj [pkgsrc-2019Q3] Popular functional language from Bell Labs
lang/smlnj11072 [pkgsrc-2019Q4] Popular functional language from Bell Labs
lang/smlnj [pkgsrc-2019Q4] Popular functional language from Bell Labs
lang/smlnj [pkgsrc-2020Q1] Popular functional language from Bell Labs
lang/smlnj11072 [pkgsrc-2020Q1] Popular functional language from Bell Labs
lang/smlnj [pkgsrc-2020Q2] Popular functional language from Bell Labs
lang/smlnj11072 [pkgsrc-2020Q2] Popular functional language from Bell Labs
lang/smlnj11072 [pkgsrc-2020Q3] Popular functional language from Bell Labs
lang/smlnj [pkgsrc-2020Q3] Popular functional language from Bell Labs
lang/smlnj11072 [pkgsrc-2020Q4] Popular functional language from Bell Labs
lang/smlnj [pkgsrc-2020Q4] Popular functional language from Bell Labs
lang/smlnj [pkgsrc-2021Q1] Popular functional language from Bell Labs
lang/smlnj11072 [pkgsrc-2021Q1] Popular functional language from Bell Labs
lang/smlnj11072 [pkgsrc-2021Q2] Popular functional language from Bell Labs
lang/smlnj [pkgsrc-2021Q2] Popular functional language from Bell Labs
lang/smlnj11072 [pkgsrc-2021Q3] Popular functional language from Bell Labs
lang/smlnj [pkgsrc-2021Q3] Popular functional language from Bell Labs
lang/smlnj [pkgsrc-2021Q4] Popular functional language from Bell Labs
lang/smlnj11072 [pkgsrc-2021Q4] Popular functional language from Bell Labs
lang/smlnj11072 [pkgsrc-2022Q1] Popular functional language from Bell Labs
lang/smlnj [pkgsrc-2022Q1] Popular functional language from Bell Labs
lang/smlnj11072 [pkgsrc-2022Q2] Popular functional language from Bell Labs
lang/smlnj [pkgsrc-2022Q2] Popular functional language from Bell Labs
lang/smlnj [pkgsrc-2022Q3] Popular functional language from Bell Labs
lang/smlnj11072 [pkgsrc-2022Q3] Popular functional language from Bell Labs
lang/smlnj11072 [pkgsrc-2022Q4] Popular functional language from Bell Labs
lang/smlnj [pkgsrc-2022Q4] Popular functional language from Bell Labs